Keyphrases
- constraint satisfaction problems
- branch and bound
- tree decomposition
- variable ordering heuristics
- search space
- search tree
- constraint satisfaction
- arc consistency
- constraint programming
- arc consistency algorithm
- constraint solving
- decomposition methods
- constraint networks
- tree decompositions
- constraint propagation
- partial constraint satisfaction
- orders of magnitude
- np complete
- scheduling problem
- artificial intelligence
- simulated annealing
- state space
- sat problem
- np hard
- data structure
- multiscale
- sat encodings
- closest string
- bayesian networks
- decision trees
- neural network