Reactive Dialectic Search Portfolios for MaxSAT. - Ansotegui, Carlos; Pon, Josep; Sellmann, Meinolf; Tierney, Kevin (AAAI)