swMATH9895MaRDI QIDQ21874FDOQ21874
Author name not available (Why is that?)
Official website: http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8688152&fileId=S1471068412000129
Cited In (17)
- Practical access to dynamic programming on tree decompositions
- Arg2P
- 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
- Multi-shot ASP solving with clingo
- Dungine
- Jdrasil
- Moviola
- ActHEX
- 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
- Methods for solving reasoning problems in abstract argumentation -- a survey
This page was built for software: D-FLAT
