Constraint Propagation for Domain Bounding in Distributed Task Scheduling.
Evan SultanikPragnesh Jay ModiWilliam C. RegliPublished in: CP (2006)
Keyphrases
- constraint propagation
- constraint satisfaction problems
- constraint programming
- constraint satisfaction
- constraint reasoning
- systematic search
- temporal constraints
- constraint solving
- constraint solver
- computing environments
- constraint graph
- arc consistency
- tree search
- russian doll search
- interval arithmetic
- search space
- path consistency
- soft constraints
- constrained problems
- finite domain
- upper bound
- backtracking algorithms
- constraint logic programming
- quantifier elimination
- database
- temporal reasoning
- evolutionary algorithm
- database systems