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