Bounded Backtracking for the Valued Constraint Satisfaction Problems.
Cyril TerriouxPhilippe JégouPublished in: CP (2003)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- forward checking
- backtracking search
- search space
- backtracking algorithm
- backtracking algorithms
- arc consistency
- constraint programming
- np complete
- non binary
- np hard
- phase transition
- constraint solving
- combinatorial problems
- constraint networks
- soft constraints
- finite domain
- decomposition methods
- solving constraint satisfaction problems
- constraint problems
- computational problems
- sat problem
- constraint solver
- constraint graph
- bounded treewidth
- variable ordering
- global constraints
- search strategies
- heuristic search
- computational complexity