TY  - RPRT
TI  - SAT Encodings for Pseudo-Boolean Constraints Together With At-Most-One Constraints
AU  - Miquel Bofill
AU  - Jordi Coll
AU  - Peter Nightingale
AU  - Josep Suy
AU  - Felix Ulrich-Oltean
AU  - Mateu Villaret
PY  - 2021
DO  - 10.1016/j.artint.2021.103604
UR  - https://arxiv.org/abs/2110.08068
ID  - 2110.08068
ER  -