Paulo J. Matos, Jordi Planes, Florian Letombe, João Marques-Silva. A MAX-SAT Algorithm Portfolio. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, Nikolaos M. Avouris, editors, ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings. Volume 178 of Frontiers in Artificial Intelligence and Applications, pages 911-912, IOS Press, 2008. [doi]
@inproceedings{MatosPLM08,
title = {A MAX-SAT Algorithm Portfolio},
author = {Paulo J. Matos and Jordi Planes and Florian Letombe and João Marques-Silva},
year = {2008},
doi = {10.3233/978-1-58603-891-5-911},
url = {http://dx.doi.org/10.3233/978-1-58603-891-5-911},
researchr = {https://researchr.org/publication/MatosPLM08},
cites = {0},
citedby = {0},
pages = {911-912},
booktitle = {ECAI 2008 - 18th European Conference on Artificial Intelligence, Patras, Greece, July 21-25, 2008, Proceedings},
editor = {Malik Ghallab and Constantine D. Spyropoulos and Nikos Fakotakis and Nikolaos M. Avouris},
volume = {178},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-58603-891-5},
}