Login / Signup

Efficient CNF Encoding of Boolean Cardinality Constraints.

Olivier BailleuxYacine Boufkhad
Published in: CP (2003)
Keyphrases
  • cardinality constraints
  • boolean functions
  • high level
  • graph cuts
  • logic programming
  • conjunctive normal form