Distance Constraint Satisfaction Problems
Manuel BodirskyVíctor DalmauBarnaby MartinMichael PinskerPublished in: CoRR (2010)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- constraint programming
- constraint propagation
- constraint solving
- computational problems
- search space
- np complete
- non binary
- combinatorial problems
- np hard
- constraint optimization
- forward checking
- product configuration
- finite domain
- backtracking search
- sat problem
- arithmetic constraints
- backtracking algorithm
- constraint solver
- arc consistency
- decomposition methods
- soft constraints
- constraint networks
- global constraints
- constraint graph
- arc consistency algorithm
- disjunctive temporal