Constraint satisfaction problems and global cardinality constraints.
Andrei A. BulatovDániel MarxPublished in: Commun. ACM (2010)
Keyphrases
- constraint satisfaction problems
- cardinality constraints
- constraint satisfaction
- constraint propagation
- np complete
- constraint programming
- search space
- arc consistency
- non binary
- soft constraints
- np hard
- pseudo boolean optimization
- database schema
- global constraints
- temporal constraints
- entity relationship
- functional dependencies
- special case