Implementing Courcelle's theorem in a declarative framework for dynamic programming

DOI10.1093/LOGCOM/EXV089zbMATH Open1380.68215OpenAlexW2407301128MaRDI QIDQ3133156FDOQ3133156

Authors: Bernhard Bliem, Reinhard Pichler, Stefan Woltran 

Publication date: 13 February 2018

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exv089

Recommendations

• Declarative dynamic programming as an alternative realization of Courcelle's theorem
• A Practical Approach to Courcelle's Theorem
• Practical access to dynamic programming on tree decompositions
• Practical access to dynamic programming on tree decompositions
• Courcelle's theorem -- a game-theoretic approach

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Graph theory (including graph drawing) in computer science (68R10) Dynamic programming (90C39) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)

Cited In (5)

• 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
• Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base
• Declarative dynamic programming as an alternative realization of Courcelle's theorem

This page was built for publication: Implementing Courcelle's theorem in a declarative framework for dynamic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3133156)