DASWAM
From MaRDI portal
Software:16802
swMATH4632MaRDI QIDQ16802FDOQ16802
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
