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