Reactive Dialectic Search Portfolios for MaxSAT.

Carlos Anstegui, Josep Pon, Meinolf Sellmann, Kevin Tierney

Browse the full AAAI paper archive.