Mario Alviano, Carmine Dodaro, Francesco Ricca. A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 2677-2683, AAAI Press, 2015. [doi]
@inproceedings{AlvianoDR15,
title = {A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size},
author = {Mario Alviano and Carmine Dodaro and Francesco Ricca},
year = {2015},
url = {http://ijcai.org/papers15/Abstracts/IJCAI15-379.html},
researchr = {https://researchr.org/publication/AlvianoDR15},
cites = {0},
citedby = {0},
pages = {2677-2683},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015},
editor = {Qiang Yang 0001 and Michael Wooldridge},
publisher = {AAAI Press},
isbn = {978-1-57735-738-4},
}