An Instance of Adaptive Constraint Propagation.
Hani El SakkoutMark WallaceBarry RichardsPublished in: CP (1996)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- temporal constraints
- constraint solving
- quantifier elimination
- systematic search
- search space
- arc consistency
- soft constraints
- tree search
- backtracking algorithms
- interval arithmetic
- finite domain
- path consistency
- database
- russian doll search
- constraint graph
- truth maintenance systems
- constraint solver
- constraint problems
- linear programming
- relational databases
- databases