Pages that link to "Item:Q5208864"
From MaRDI portal
The following pages link to The Impact of Treewidth on Grounding and Solving of Answer Set Programs (Q5208864):
Displaying 4 items.
- A multiparametric view on answer set programming (Q2317973) (← links)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all? (Q2667835) (← links)
- DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)
