OMiGA

MaRDI QIDQ44793swMATHFDO

Official website https://link.springer.com/chapter/10.1007/978-3-642-33353-8_38

Cited in

(16)

• ASPeRiX
• Gringo
• GASP
• DualGrounder: lazy instantiation via clingo multi-shot framework
• WASP
• ASP solving for expanding universes
• DLV2
• Hexlite
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Optimizing answer set computation via heuristic-based decomposition
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• scientific article; zbMATH DE number 7453100 (Why is no real title available?)
• Incremental answer set programming with overgrounding
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• scientific article; zbMATH DE number 7121940
• DualGrounder

This page was built for software: OMiGA