"Generalizing Core-Guided Max-SAT."

Mark H. Liffiton, Karem A. Sakallah (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics