The following pages link to (Q3741017):
Displaying 6 items.
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- Forward checking and intelligent backtracking (Q1263983) (← links)
- Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423) (← links)
- An improved data-dependency-based backtracking scheme for Prolog (Q1823727) (← links)
- Dynamic backward reasoning systems (Q2638814) (← links)
- Intelligent Backtracking in Plan-Based Deduction (Q3727417) (← links)