EasyChair Smart Slide
RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification
RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification