MaxSAT by Improved Instance-Specific Algorithm Configuration.

Carlos Anstegui, Yuri Malitsky, Meinolf Sellmann

Browse the full AAAI paper archive.