Exploiting subproblem optimization in SAT-based MaxSAT algorithms

Carlos Ansótegui, Joel Gabàs, Jordi Levy. Exploiting subproblem optimization in SAT-based MaxSAT algorithms. J. Heuristics, 22(1):1-53, 2016. [doi]

Abstract

Abstract is missing.