Login / Signup

Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.

Carsten Sinz
Published in: CP (2005)
Keyphrases
  • cardinality constraints
  • boolean functions
  • dynamic programming
  • conjunctive normal form
  • boolean algebra
  • databases
  • optimal solution
  • object oriented
  • expressive power
  • database schema