Enforcing Arc Consistency on Global Constraints by Solving Subproblems on the Fly.
Christian BessièreJean-Charles RéginPublished in: CP (1999)
Keyphrases
- global constraints
- arc consistency
- singleton arc consistency
- branch and bound search
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- solving constraint satisfaction problems
- constraint propagation
- generalized arc consistency
- space complexity
- combinatorial problems
- soft constraints
- search heuristics
- max csp
- lp relaxation
- finite domain
- non binary
- forward checking
- path consistency
- integer programming
- constraint networks
- special case
- search space
- energy function
- temporal planning problems