Feasible Interpolation for Polynomial Calculus and Sums-Of-Squares | Publicación