On Solving the Partial MAX-SAT Problem.

Zhaohui Fu, Sharad Malik

Browse the full SAT paper archive.