Mohamed El-bachir Menai, Tasniem Nasser Al-Yahya. Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers. Informatica (Slovenia), 37(3):245-251, 2013. [doi]
@article{MenaiA13,
title = {Influence of CNF Encodings of AtMost-1 Constraints on UNSAT-based PMSAT Solvers},
author = {Mohamed El-bachir Menai and Tasniem Nasser Al-Yahya},
year = {2013},
url = {http://www.informatica.si/PDF/37-3/13_Menai%20-%20Influence%20of%20CNF%20Encodings%20of%20AtMost-1%20Constraints%20on%20UNSAT-based%20PMSAT%20Solvers.pdf},
researchr = {https://researchr.org/publication/MenaiA13},
cites = {0},
citedby = {0},
journal = {Informatica (Slovenia)},
volume = {37},
number = {3},
pages = {245-251},
}