Combining Constraint Propagation and Backtracking for Distributed Engineering.
Charles PetrieHeecheol JeonMark R. CutkoskyPublished in: AAAI Workshop: Constraints & Agents (1997)
Keyphrases
- constraint propagation
- constraint satisfaction
- constraint satisfaction problems
- constraint reasoning
- constraint programming
- backtracking algorithms
- constraint solving
- tree search
- temporal constraints
- quantifier elimination
- arc consistency
- finite domain
- systematic search
- constraint graph
- soft constraints
- interval analysis
- russian doll search
- limited discrepancy search
- lower bound
- maintaining arc consistency
- temporal reasoning
- linear programming