The following pages link to (Q3735066):
Displayed 5 items.
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- Efficient backward execution in AND/OR process model (Q1114389) (← links)
- A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
- Yet another efficient backward execution algorithm in the AND/OR process model (Q1183471) (← links)
- Intelligent backtracking in \(\text{CLP}(\Re)\) (Q1380423) (← links)