VSL 2014: VIENNA SUMMER OF LOGIC 2014

The D-FLAT System for Dynamic Programming on Tree Decompositions

Authors: Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:The D-FLAT System for Dynamic Programming on Tree Decompositions
Authors:Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher and Stefan Woltran
Proceedings:LaSh 2014 Proceedings
Editors: Emilia Oikarinen, Marc Denecker and David Mitchell
Keywords:
Abstract:
Pages:15
Talk:Jul 18 16:30
Paper:
Disclaimer | Powered by EasyChair Smart Program