C2.E — Feasible Interpolation for Polynomial Calculus and Sums-of-Squares

ICALP 2020