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

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

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

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 (1)

• Dynamic Programming, Integral Polyhedra and Horn Clause Knowledge Base

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)