MaxSAT by Improved Instance-Specific Algorithm Configuration
Abstract
Our objective is to boost the state-of-the-art performance in MaxSATsolving. To this end, we employ the instance-specific algorithmconfigurator ISAC, and improve it with the latest inportfolio technology. Experimental results on SAT show that thiscombination marks a significant step forward in our ability to tunealgorithms instance-specifically. We then apply the new methodology toa number of MaxSAT problem domains and show that the resulting solversconsistently outperform the best existing solvers on the respectiveproblem families. In fact, the solvers presented here were independentlyevaluated at the 2013 MaxSAT Evaluation where they won six of the elevencategories.
Cite
Text
Ansótegui et al. "MaxSAT by Improved Instance-Specific Algorithm Configuration." AAAI Conference on Artificial Intelligence, 2014. doi:10.1609/AAAI.V28I1.9128Markdown
[Ansótegui et al. "MaxSAT by Improved Instance-Specific Algorithm Configuration." AAAI Conference on Artificial Intelligence, 2014.](https://mlanthology.org/aaai/2014/ansotegui2014aaai-maxsat/) doi:10.1609/AAAI.V28I1.9128BibTeX
@inproceedings{ansotegui2014aaai-maxsat,
title = {{MaxSAT by Improved Instance-Specific Algorithm Configuration}},
author = {Ansótegui, Carlos and Malitsky, Yuri and Sellmann, Meinolf},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {2014},
pages = {2594-2600},
doi = {10.1609/AAAI.V28I1.9128},
url = {https://mlanthology.org/aaai/2014/ansotegui2014aaai-maxsat/}
}