Pages that link to "Item:Q3449235"
From MaRDI portal
The following pages link to The Design of the Sixth Answer Set Programming Competition (Q3449235):
Displaying 8 items.
- Paracoherent answer set computation (Q2238696) (← links)
- Anytime answer set optimization via unsatisfiable core shrinking (Q4593041) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Boosting Answer Set Optimization with Weighted Comparator Networks (Q4957202) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Debugging Non-ground ASP Programs: Technique and Graphical Tools (Q5197755) (← links)
- Rewriting optimization statements in answer-set programs (Q5240209) (← links)
