Constraint Propagation as a Proof System.
Albert AtseriasPhokion G. KolaitisMoshe Y. VardiPublished in: CP (2004)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint satisfaction problems
- constraint programming
- constraint solving
- constraint satisfaction
- modal logic
- temporal constraints
- interval arithmetic
- quantifier elimination
- backtracking algorithms
- constraint solver
- constraint logic programming
- soft constraints
- constrained problems
- arc consistency
- systematic search
- constraint graph
- russian doll search
- lower bound
- path consistency
- tree search
- interval analysis
- special case