PLATYPUS
From MaRDI portal
Software:14083
No author found.
No records found.
Related Items (6)
Answer Set Programming for Representing and Reasoning About Virtual Institutions ⋮ Unnamed Item ⋮ Experimenting with parallelism for the instantiation of ASP programs ⋮ Unnamed Item ⋮ The Significance of Memory Costs in Answer Set Solver Implementation ⋮ Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
This page was built for software: PLATYPUS