EasyChair Smart Slide
Branching Program Complexity of Canonical Search Problems and Proof Complexity of Formulas
Branching Program Complexity of Canonical Search Problems and Proof Complexity of Formulas