Pages that link to "Item:Q4930781"
From MaRDI portal
The following pages link to A Dynamic-Programming Based ASP-Solver (Q4930781):
Displaying 6 items.
- Computing weighted solutions in ASP: representation-based method vs. search-based method (Q421455) (← links)
- Backdoors to tractable answer set programming (Q2341833) (← links)
- Multi-level Algorithm Selection for ASP (Q3449227) (← links)
- An ASP-based solver for parametrized-difference revision (Q5103715) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)
- (Q5398056) (← links)