MaxSAT by Improved Instance-Specific Algorithm Configuration

Our objective is to boost the state-of-the-art performance in MaxSAT solving. To this end, we employ the instancespecific algorithm configurator ISAC, and improve it with the latest in portfolio technology. Experimental results on SAT show that this combination marks a significant step forward in our ability to tune algorithms instance-specifically. We then apply the new methodology to a number of MaxSAT problem domains and show that the resulting solvers consistently outperform the best existing solvers on the respective problem families. In fact, the solvers presented here were independently evaluated at the 2013 MaxSAT Evaluation where they won six of the eleven categories.

Authors

• Carlos Ansotegui University of Lleida
• Yuri Malitsky
• Meinolf Sellmann

Keywords

No keywords are indexed for this paper.