OMiGA
From MaRDI portal
Software:44793
No author found.
Related Items (9)
ASP Solving for Expanding Universes ⋮ Unnamed Item ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Incremental Answer Set Programming with Overgrounding ⋮ Unnamed Item ⋮ Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More ⋮ Optimizing Answer Set Computation via Heuristic-Based Decomposition ⋮ Efficiently Coupling the I-DLV Grounder with ASP Solvers ⋮ DualGrounder: lazy instantiation via clingo multi-shot framework
This page was built for software: OMiGA
