D-FLAT

MaRDI QIDQ21874swMATHFDO

Official website http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=8688152&fileId=S1471068412000129

Described by source

• The D-FLAT system for dynamic programming on tree decompositions

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