# Solving SAT (and MaxSAT) with a quantum annealer: Foundations, encodings, and preliminary results

> Research article (Information and Computation, 2020) · cited 35× · AI/ML

**Wikidata**: [openalex:W3046571544](https://www.wikidata.org/wiki/openalex:W3046571544)  
**Source**: https://4ort.xyz/entity/solving-sat-and-maxsat-with-a-quantum-annealer-foundations-encodings-and-preliminary-results