"On Partitioning for Maximum Satisfiability."

Ruben Martins, Vasco M. Manquinho, Inês Lynce (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics