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