@phdthesis{sabharwal05:thesis, author={Sabharwal, Ashish}, title={Algorithmic Applications of Propositional Proof Complexity}, school={University of Washington, Seattle}, year=2005}