"Quantified Maximum Satisfiability: - A Core-Guided Approach."

Alexey Ignatiev, Mikolás Janota, João Marques-Silva (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics