The following pages link to D-FLAT (Q21874):
Displaying 7 items.
- Practical access to dynamic programming on tree decompositions (Q2005578) (← links)
- Methods for solving reasoning problems in abstract argumentation -- a survey (Q2341832) (← links)
- The \(k\)-path coloring problem in graphs of bounded treewidth: an application in integrated circuit manufacturing (Q2661539) (← links)
- Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem (Q2867070) (← links)
- D-FLAT: Declarative problem solving using tree decompositions and answer-set programming (Q4911127) (← links)
- Practical Access to Dynamic Programming on Tree Decompositions (Q5009563) (← links)
- Multi-shot ASP solving with clingo (Q5197744) (← links)