"Exploiting Cardinality Encodings in Parallel Maximum Satisfiability."

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