Carlos Ansótegui, Maria Luisa Bonet, Jordi Levy. On Solving MaxSAT Through SAT. In Sandra Sandri, Miquel Sànchez-Marrè, Ulises Cortés, editors, Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain. Volume 202 of Frontiers in Artificial Intelligence and Applications, pages 284-292, IOS Press, 2009. [doi]
@inproceedings{AnsoteguiBL09-2,
title = {On Solving MaxSAT Through SAT},
author = {Carlos Ansótegui and Maria Luisa Bonet and Jordi Levy},
year = {2009},
doi = {10.3233/978-1-60750-061-2-284},
url = {http://dx.doi.org/10.3233/978-1-60750-061-2-284},
researchr = {https://researchr.org/publication/AnsoteguiBL09-2},
cites = {0},
citedby = {0},
pages = {284-292},
booktitle = {Artificial Intelligence Research and Development, Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence, CCIA 2009, October 21-23, 2009, Vilar Rural de Cardona (El Bages), Cardona, Spain},
editor = {Sandra Sandri and Miquel Sànchez-Marrè and Ulises Cortés},
volume = {202},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-061-2},
}