# Algorithmic Applications of Propositional Proof Complexity

> doctoral thesis by Ashish Sabharwal, Computer Science & Engineering, University of Washington, 2005

**Wikidata**: [Q113668161](https://www.wikidata.org/wiki/Q113668161)  
**Source**: https://4ort.xyz/entity/algorithmic-applications-of-propositional-proof-complexity


## References

1. WorldCat