C. Ansotegui, Y. Malitsky, and M. Sellmann, “MaxSAT by Improved Instance-Specific Algorithm Configuration”, AAAI, vol. 28, no. 1, Jun. 2014.