Tractability in constraint satisfaction problems: a survey.
Clément CarbonnelMartin C. CooperPublished in: Constraints An Int. J. (2016)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- np complete
- tractable classes
- constraint problems
- constraint programming
- constraint propagation
- search space
- arc consistency
- np hard
- combinatorial problems
- constraint networks
- product configuration
- constraint solving
- forward checking
- backtracking search
- decomposition methods
- non binary
- phase transition
- soft constraints
- computational problems
- partial constraint satisfaction
- finite domain
- constraint optimization
- global constraints
- temporal constraints
- sat solvers
- computational complexity
- solving constraint satisfaction problems
- disjunctive temporal
- backtracking algorithm
- constraint solver
- lower bound