On the Dynamic Detection of Interchangeability in Finite Constraint Satisfaction Problems.
Amy M. BeckwithBerthe Y. ChoueiryPublished in: CP (2001)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint propagation
- np complete
- constraint programming
- search space
- dynamic constraint satisfaction problems
- combinatorial problems
- np hard
- non binary
- global constraints
- arc consistency
- constraint solving
- product configuration
- constraint networks
- soft constraints
- solving constraint satisfaction problems
- decomposition methods
- symmetry breaking
- finite domain
- constraint optimization
- search algorithm
- disjunctive temporal
- arithmetic constraints
- backtracking search
- backtracking algorithm
- constraint problems
- computational problems
- objective function
- lower bound
- logic programs