M. E. B. Menai and T. Al-Yahya, “Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers”, IJCAI, vol. 37, no. 3.