This page shows all presentations of this author published in EasyChair Smart Slide.
RP: A Practical Polynomial Calculus for Arithmetic Circuit Verification
Daniela Ritirc, Armin Biere and Manuel Kauers