Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-Based PMSAT Solvers. INF 37 (3).