Login / Signup

Towards Robust CNF Encodings of Cardinality Constraints.

João P. Marques SilvaInês Lynce
Published in: CP (2007)
Keyphrases
  • functional dependencies
  • cardinality constraints
  • boolean algebra
  • entity relationship
  • dynamic programming
  • knowledge representation
  • np complete