Propositional Proof Complexity

Cite this paper

@inproceedings{BenSasson2008PropositionalPC, title={Propositional Proof Complexity}, author={Eli Ben-Sasson}, year={2008} }