Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem.

Bernhard Bliem Reinhard Pichler Stefan Woltran

Published in: IPEC (2013)

Keyphrases

dynamic programming
optimal control
greedy algorithm
data structure
knowledge representation
domain independent
von neumann
search engine
knowledge base
objective function
computational complexity
domain specific
single machine
declarative language