Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran. The D-FLAT System for Dynamic Programming on Tree Decompositions. In Eduardo Fermé, João Leite, editors, Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. Volume 8761 of Lecture Notes in Computer Science, pages 558-572, Springer, 2014. [doi]
No references recorded for this publication.
No citations of this publication recorded.