Ruben Martins, Vasco M. Manquinho, Inês Lynce. Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011. pages 313-320, IEEE, 2011. [doi]
@inproceedings{MartinsML11,
title = {Exploiting Cardinality Encodings in Parallel Maximum Satisfiability},
author = {Ruben Martins and Vasco M. Manquinho and Inês Lynce},
year = {2011},
doi = {10.1109/ICTAI.2011.54},
url = {http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.54},
researchr = {https://researchr.org/publication/MartinsML11},
cites = {0},
citedby = {0},
pages = {313-320},
booktitle = {IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011},
publisher = {IEEE},
isbn = {978-1-4577-2068-0},
}