"Community-Based Partitioning for MaxSAT Solving."

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