Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. INF. 37(3). Accessed September 25, 2025. https://puffbird.ijs.si/index.php/informatica/article/view/453