# A comprehensive study and analysis on SAT-solvers: advances, usages and achievements

> Research article (Artificial Intelligence Review, 2018) · cited 25× · AI/ML

**Wikidata**: [openalex:W2794709452](https://www.wikidata.org/wiki/openalex:W2794709452)  
**Source**: https://4ort.xyz/entity/a-comprehensive-study-and-analysis-on-sat-solvers-advances-usages-and-achievements