OMiGA

swMATH33084MaRDI QIDQ44793FDOQ44793

Author name not available (Why is that?)

Cited In (9)

• Title not available (Why is that?)
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
• Incremental answer set programming with overgrounding
• Title not available (Why is that?)
• Optimizing answer set computation via heuristic-based decomposition
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• DualGrounder: lazy instantiation via clingo multi-shot framework
• ASP solving for expanding universes

This page was built for software: OMiGA