The following pages link to (Q5020542):
Displaying 3 items.
- Pruning external minimality checking for ASP using semantic dependencies (Q2326745) (← links)
- Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More (Q5140003) (← links)
- ASP with non-herbrand partial functions: a language and system for practical use (Q5398294) (← links)