# Improving the effectiveness of SAT-based preprocessing for MaxSAT

> Research article (http://www.cs.helsinki.fi/u/mjarvisa/papers/berg-saikko-jarvisalo.ijcai15.pdf, 2015) · cited 13× · AI/ML

**Wikidata**: [openalex:W2268804549](https://www.wikidata.org/wiki/openalex:W2268804549)  
**Source**: https://4ort.xyz/entity/improving-the-effectiveness-of-sat-based-preprocessing-for-maxsat