Exploiting Cardinality Encodings in Parallel Maximum Satisfiability

  title={Exploiting Cardinality Encodings in Parallel Maximum Satisfiability},
  author={Ruben Martins and Vasco M. Manquinho and In{\^e}s Lynce},
  journal={2011 IEEE 23rd International Conference on Tools with Artificial Intelligence},
Cardinality constraints appear in many practical problems and have been well studied in the past. There are many CNF encodings for cardinality constraints, although it is not clear which encodings perform better. Indeed, different encodings can perform well over different problems. This paper examines a large number of cardinality encodings and evaluates… CONTINUE READING