Menai, M.E.B. and Al-Yahya, T. . Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. Informatica. 37, 3 ().