Propositional proof complexity: Past, present and future (1998)

by P Beame, T Pitassi
Venue:Electronic Colloquium on Computational Complexity