Backtracking without Trailing in CLP(R-lin)
Pascal Van HentenryckViswanath RamachandranPublished in: ACM Trans. Program. Lang. Syst. (1995)
Keyphrases
- constraint logic programming
- constraint propagation
- constraint satisfaction
- special case
- constraint programming
- dependency directed backtracking
- search algorithm
- constraint solving
- situation calculus
- search tree
- search space
- neural network
- tree search
- logic programming
- constraint satisfaction problems
- data structure
- database systems
- temporal reasoning
- image processing
- artificial intelligence
- machine learning
- logic programming language
- databases