Exploiting Cardinality Encodings in Parallel Maximum Satisfiability.

Ruben Martins, Vasco Manquinho, Ins Lynce

Browse the full ICTAI paper archive.