Improving SAT-Based Weighted MaxSAT Solvers.

Carlos Anstegui, Maria Luisa Bonet, Joel Gabs, Jordi Levy

Browse the full CP paper archive.