From Proof Complexity to Circuit Complexity via Interactive Protocols.

Noel Arteche, Erfan Khaniki, Jn Pich, Rahul Santhanam

Browse the full ICALP paper archive.