Strong polynomiality of resource constraint propagation.
Luc MercierPascal Van HentenryckPublished in: Discret. Optim. (2007)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- temporal constraints
- constraint satisfaction
- constraint solving
- quantifier elimination
- backtracking algorithms
- interval arithmetic
- tree search
- search space
- systematic search
- constraint graph
- constraint solver
- constraint logic programming
- path consistency
- linear programming
- interval analysis
- constrained problems
- finite domain
- truth maintenance systems
- resource consumption
- arc consistency
- search algorithm
- russian doll search