Constraint propagation for loose constraint graphs.
Kathryn FrancisPeter J. StuckeyPublished in: SAC (2007)
Keyphrases
- constraint propagation
- constraint graph
- constraint solving
- constraint solver
- finite domain
- constraint satisfaction problems
- soft constraints
- constrained problems
- constraint satisfaction
- constraint reasoning
- constraint programming
- temporal constraint satisfaction problems
- temporal constraints
- constraint solvers
- arc consistency
- systematic search
- interval arithmetic
- tree search
- quantifier elimination
- russian doll search
- interval analysis
- constraint logic programming
- backtracking algorithms
- search space
- constraint networks
- temporal reasoning
- linear programming
- constraint problems
- database systems
- linear constraints