Relaxed DPLL Search for MaxSAT.

Lukas Kroc, Ashish Sabharwal, Bart Selman

Browse the full SAT paper archive.