D-FLAT
From MaRDI portal
Software:21874
No author found.
Related Items (7)
The \(k\)-path coloring problem in graphs of bounded treewidth: an application in integrated circuit manufacturing ⋮ Practical Access to Dynamic Programming on Tree Decompositions ⋮ D-FLAT: Declarative problem solving using tree decompositions and answer-set programming ⋮ Practical access to dynamic programming on tree decompositions ⋮ Multi-shot ASP solving with clingo ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey ⋮ Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem
This page was built for software: D-FLAT
