Pages that link to "Item:Q4339858"
From MaRDI portal
The following pages link to Overview of DASWAM: Exploitation of dependent and-parallelism (Q4339858):
Displaying 7 items.
- DASWAM (Q16802) (← links)
- Enhancing DLV instantiator by backjumping techniques (Q2426106) (← links)
- Parallel backtracking with answer memoing for independent and-parallelism (Q3087444) (← links)
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598) (← links)
- Two WAM Implementations of Action Rules (Q5504685) (← links)
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
