Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint.
Nadia CreignouHenning SchnoorIlka SchnoorPublished in: CSL (2008)
Keyphrases
- constraint satisfaction problems
- cardinality constraints
- constraint satisfaction
- closed sets
- constraint propagation
- constraint programming
- search space
- functional dependencies
- np complete
- boolean functions
- soft constraints
- non binary
- database schema
- entity relationship
- np hard
- arc consistency
- constraint networks
- integrity constraints
- deductive databases
- object oriented
- global constraints
- knowledge base