Pages that link to "Item:Q2938522"
From MaRDI portal
The following pages link to The D-FLAT System for Dynamic Programming on Tree Decompositions (Q2938522):
Displaying 8 items.
- D-FLAT (Q21874) (← links)
- Complexity of secure sets (Q722534) (← links)
- The \(k\)-path coloring problem in graphs of bounded treewidth: an application in integrated circuit manufacturing (Q2661539) (← links)
- Complexity of Secure Sets (Q2827802) (← links)
- Practical Access to Dynamic Programming on Tree Decompositions (Q5009563) (← links)
- DynASP2.5: Dynamic Programming on Tree Decompositions in Action (Q5111876) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)
- Reasoning in assumption-based argumentation using tree-decompositions (Q6545531) (← links)