Cited in
(17)- 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
- LUPS
- ASPARTIX
- oClingo
- ComputeTW
- iClingo
- Dungine
- Jdrasil
- Moviola
- ActHEX
- Multi-shot ASP solving with clingo
- Declarative dynamic programming as an alternative realization of Courcelle's theorem
- The \(k\)-path coloring problem in graphs of bounded treewidth: an application in integrated circuit manufacturing
- Arg2P
- Methods for solving reasoning problems in abstract argumentation -- a survey
This page was built for software: D-FLAT
