Incremental Algorithms for Constraint Solving and Entailment over Rational Trees.
Viswanath RamachandranPascal Van HentenryckPublished in: FSTTCS (1993)
Keyphrases
- constraint solving
- incremental algorithms
- constraint propagation
- temporal constraints
- incremental update
- constraint logic programming
- constraint satisfaction problems
- constraint solver
- constraint satisfaction
- decision trees
- constraint programming
- logic programming
- tree structure
- finite domain
- temporal reasoning
- np complete
- high level
- temporal information
- visual information
- probabilistic logic
- database systems