Ansotegui, C.; Malitsky, Y.; Sellmann, M. MaxSAT by Improved Instance-Specific Algorithm Configuration. AAAI 2014, 28.