Ruben Martins, Vasco M. Manquinho, Inês Lynce. On Partitioning for Maximum Satisfiability. In Luc De Raedt, Christian Bessière, Didier Dubois, Patrick Doherty, Paolo Frasconi, Fredrik Heintz, Peter J. F. Lucas, editors, ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012. Volume 242 of Frontiers in Artificial Intelligence and Applications, pages 913-914, IOS Press, 2012. [doi]
@inproceedings{MartinsML12,
title = {On Partitioning for Maximum Satisfiability},
author = {Ruben Martins and Vasco M. Manquinho and Inês Lynce},
year = {2012},
doi = {10.3233/978-1-61499-098-7-913},
url = {http://dx.doi.org/10.3233/978-1-61499-098-7-913},
researchr = {https://researchr.org/publication/MartinsML12},
cites = {0},
citedby = {0},
pages = {913-914},
booktitle = {ECAI 2012 - 20th European Conference on Artificial Intelligence. Including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012},
editor = {Luc De Raedt and Christian Bessière and Didier Dubois and Patrick Doherty and Paolo Frasconi and Fredrik Heintz and Peter J. F. Lucas},
volume = {242},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-61499-097-0},
}