Nonuniform Boolean constraint satisfaction problems with cardinality constraint.
Nadia CreignouHenning SchnoorIlka SchnoorPublished in: ACM Trans. Comput. Log. (2010)
Keyphrases
- constraint satisfaction problems
- cardinality constraints
- constraint satisfaction
- closed sets
- np complete
- functional dependencies
- search space
- constraint programming
- constraint propagation
- np hard
- non binary
- boolean functions
- integrity constraints
- arc consistency
- entity relationship
- constraint networks
- temporal constraints
- phase transition
- finding optimal solutions
- database schema
- global constraints
- database systems
- branch and bound algorithm
- relational databases