Pages that link to "Item:Q2401930"
From MaRDI portal
The following pages link to Answer set solving with bounded treewidth revisited (Q2401930):
Displaying 12 items.
- Constraint satisfaction with bounded treewidth revisited (Q847262) (← links)
- 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)
- Solving projected model counting by utilizing treewidth and its limits (Q2680775) (← links)
- (Q5009490) (← links)
- (Q5009587) (← links)
- DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876) (← links)
- (Q5111890) (← links)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs (Q5240230) (← links)
- Default logic and bounded treewidth (Q5918613) (← links)
- Reasoning in assumption-based argumentation using tree-decompositions (Q6545531) (← links)
- IASCAR: incremental answer set counting by anytime refinement (Q6656460) (← links)