Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results.

Toniann Pitassi

Browse the full LICS paper archive.