Ruben Martins Vasco M. Manquinho Inês Lynce Exploiting Cardinality Encodings in Parallel Maximum Satisfiability. 313-320 2011 ICTAI https://doi.org/10.1109/ICTAI.2011.54 http://doi.ieeecomputersociety.org/10.1109/ICTAI.2011.54 conf/ictai/2011 db/conf/ictai/ictai2011.html#MartinsML11