swMATH1343MaRDI QIDQ14083FDOQ14083
Author name not available (Why is that?)
Official website: http://www.cs.uni-potsdam.de/platypus/
Cited In (9)
- Experimenting with parallelism for the instantiation of ASP programs
- Answer Set Programming for Representing and Reasoning About Virtual Institutions
- GNT
- Title not available (Why is that?)
- Cmodels
- NoMoRe
- The Significance of Memory Costs in Answer Set Solver Implementation
- Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
- Efficient parallel ASP instantiation via dynamic rewriting
This page was built for software: PLATYPUS
