OMiGA
From MaRDI portal
Software:44793
swMATH33084MaRDI QIDQ44793FDOQ44793
Author name not available (Why is that?)
Cited In (9)
- ASP Solving for Expanding Universes
- Title not available (Why is that?)
- Incremental Answer Set Programming with Overgrounding
- Efficiently Coupling the I-DLV Grounder with ASP Solvers
- Optimizing Answer Set Computation via Heuristic-Based Decomposition
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
- Title not available (Why is that?)
- DualGrounder: lazy instantiation via clingo multi-shot framework
- ASPeRiX, a first-order forward chaining approach for answer set computing
This page was built for software: OMiGA
