![](/img/cover-not-exists.png)
MaxSAT by improved instance-specific algorithm configuration
Gabàs, Joel, Malitsky, Yuri, Sellmann, MeinolfLanguage:
english
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2015.12.006
Date:
February, 2016
File:
PDF, 310 KB
english, 2016