# Polarity and Variable Selection Heuristics for SAT-Based Anytime MaxSAT

> Research article (Journal on Satisfiability Boolean Modeling and Computation, 2020) · cited 12× · AI/ML

**Wikidata**: [openalex:W3087533836](https://www.wikidata.org/wiki/openalex:W3087533836)  
**Source**: https://4ort.xyz/entity/polarity-and-variable-selection-heuristics-for-sat-based-anytime-maxsat