# On the interplay between proof complexity and SAT solving

> Research article (ACM SIGLOG News, 2015) · cited 64× · AI/ML

**Wikidata**: [openalex:W2216693981](https://www.wikidata.org/wiki/openalex:W2216693981)  
**Source**: https://4ort.xyz/entity/on-the-interplay-between-proof-complexity-and-sat-solving