# Dealing with 4-variables by resolution: An improved MaxSAT algorithm

> Research article (Theoretical Computer Science, 2017) · cited 12× · AI/ML

**Wikidata**: [openalex:W2585244063](https://www.wikidata.org/wiki/openalex:W2585244063)  
**Source**: https://4ort.xyz/entity/dealing-with-4-variables-by-resolution-an-improved-maxsat-algorithm