Recognizing frozen variables in constraint satisfaction problems.
Peter JonssonAndrei A. KrokhinPublished in: Theor. Comput. Sci. (2004)
Keyphrases
- constraint satisfaction problems
- finite domain
- arithmetic constraints
- constraint problems
- constraint satisfaction
- soft constraints
- constraint programming
- np complete
- configuration problems
- partial assignment
- constraint graph
- constraint propagation
- combinatorial problems
- binary constraints
- np hard
- non binary
- arc consistency
- search space
- constraint networks
- computational problems
- symmetry breaking constraints
- solving constraint satisfaction problems
- constraint solving
- decomposition methods
- forward checking
- backtracking search
- sat problem
- global constraints
- hidden variables
- variable ordering heuristics
- special case
- variable ordering
- constraint solver
- partial constraint satisfaction