Keyphrases
- constraint satisfaction problems
- music composition
- constraint satisfaction
- constraint propagation
- constraint solving
- constraint programming
- search space
- np complete
- arc consistency
- non binary
- finite domain
- partial constraint satisfaction
- tree decompositions
- product configuration
- np hard
- constraint networks
- global constraints
- soft constraints
- forward checking
- disjunctive temporal
- reasoning problems
- sat problem
- graph based representations
- pseudo boolean optimization
- hard constraints
- constraint solver
- tractable subclasses