# SAT encodings for Pseudo-Boolean constraints together with at-most-one constraints

> Research article (Artificial Intelligence, 2021) · cited 12× · AI/ML

**Wikidata**: [openalex:W3207659231](https://www.wikidata.org/wiki/openalex:W3207659231)  
**Source**: https://4ort.xyz/entity/sat-encodings-for-pseudo-boolean-constraints-together-with-at-most-one-constraints