C. Ansótegui, J. Pon, M. Sellmann, and K. Tierney, “Reactive Dialectic Search Portfolios for MaxSAT”, AAAI, vol. 31, no. 1, Feb. 2017.