# Improved Exact Solver for the Weighted MAX-SAT Problem

> Research article (EPiC series in computing, 2018) · cited 89× · AI/ML

**Wikidata**: [openalex:W2404307587](https://www.wikidata.org/wiki/openalex:W2404307587)  
**Source**: https://4ort.xyz/entity/improved-exact-solver-for-the-weighted-max-sat-problem