swMATH4632MaRDI QIDQ16802FDOQ16802
Author name not available (Why is that?)
Official website: http://www.sciencedirect.com/science/article/pii/S0743106696000799
Cited In (18)
- Data structures for order-sensitive predicates in parallel nondeterministic systems
- Minimizing the overheads of dependent AND-parallelism
- Parallel backtracking with answer memoing for independent and-parallelism
- Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs
- Enhancing DLV instantiator by backjumping techniques
- CDAOstore
- NoMoRe
- Ciao
- nomore++
- April
- HaLoop
- Title not available (Why is that?)
- Two WAM Implementations of Action Rules
- Title not available (Why is that?)
- Title not available (Why is that?)
- Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
This page was built for software: DASWAM
