Efficient algorithms for strong local consistencies and adaptive techniques in constraint satisfaction problems.
Anastasia PaparrizouPublished in: Constraints An Int. J. (2015)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- non binary
- arc consistency
- search space
- constraint programming
- constraint propagation
- np complete
- constraint networks
- combinatorial problems
- computational problems
- product configuration
- temporal constraints
- constraint solving
- global constraints
- soft constraints
- constraint optimization
- np hard
- solving constraint satisfaction problems
- forward checking
- symmetry breaking
- path consistency
- arithmetic constraints
- constraint problems
- constraint solver
- heuristic search
- partial constraint satisfaction
- disjunctive temporal