Keyphrases
- constraint satisfaction problems
- decomposition methods
- constraint satisfaction
- constraint programming
- constraint propagation
- tree decomposition
- constraint solving
- np hard
- constraint networks
- arc consistency
- tree decompositions
- backtracking search
- search space
- hypertree decomposition
- arc consistency algorithm
- petri net
- soft constraints
- markov chain
- case study
- constraint problems
- sat encodings
- constraint graph
- real time
- solving constraint satisfaction problems
- database