Cited in
(18)- scientific article; zbMATH DE number 1420803 (Why is no real title available?)
- Enhancing DLV instantiator by backjumping techniques
- Data structures for order-sensitive predicates in parallel nondeterministic systems
- scientific article; zbMATH DE number 1333354 (Why is no real title available?)
- Minimizing the overheads of dependent AND-parallelism
- Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
- Two WAM Implementations of Action Rules
- CDAOstore
- NoMoRe
- Ciao
- nomore++
- April
- HaLoop
- scientific article; zbMATH DE number 1759985 (Why is no real title available?)
- Parallel backtracking with answer memoing for independent and-parallelism
This page was built for software: DASWAM
