Ruben Martins, Vasco M. Manquinho, Inês Lynce. Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. In IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI 2011, Boca Raton, FL, USA, November 7-9, 2011. pages 313-320, IEEE, 2011. [doi]
Abstract is missing.