Menai, M. E. B.; Al-Yahya, T. Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-Based PMSAT Solvers. IJCAI 37.