# Anytime Weighted MaxSAT with Improved Polarity Selection and Bit-Vector Optimization

> Research article (2019 Formal Methods in Computer Aided Design (FMCAD), 2019) · cited 21× · AI/ML

**Wikidata**: [openalex:W2987124936](https://www.wikidata.org/wiki/openalex:W2987124936)  
**Source**: https://4ort.xyz/entity/anytime-weighted-maxsat-with-improved-polarity-selection-and-bit-vector-optimization