"Core-Guided MaxSAT with Soft Cardinality Constraints."

António Morgado, Carmine Dodaro, João Marques-Silva (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics