Generalizing Core-Guided Max-SAT.

Mark H. Liffiton, Karem A. Sakallah

Browse the full SAT paper archive.