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