Beyond Core-Guided MaxSAT.

Ilario Bonacina, Jordi Levy, Ion Mikel Liberal

Browse the full SAT paper archive.