"Exploiting subproblem optimization in SAT-based MaxSAT algorithms."

Carlos Ansótegui, Joel Gabàs, Jordi Levy (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics