Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

First Page		Document Content
Date: 2013-09-24 06:14:24		Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle Add to Reading List Source URL: dbai.tuwien.ac.at Download Document from Source Website File Size: 247,71 KB Share Document on Facebook