Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers (Informatica, 2025)
Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers