The D-FLAT System for Dynamic Programming on Tree Decompositions (bibtex)
by , , , , ,
Reference:
The D-FLAT System for Dynamic Programming on Tree DecompositionsMichael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan WoltranLogics in Artificial Intelligence - 14th European Conference, JELIA 2014, pages 558–572, 2014, Springer.
Bibtex Entry:
@inproceedings{abseher2014b,
author = {Michael Abseher and Bernhard Bliem and G{\"u}nther Charwat and Frederico Dusberger and Markus Hecher and Stefan Woltran},
title = {{The {D-FLAT} System for Dynamic Programming on Tree Decompositions}},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA} 2014},
year = {2014},
series = {LNCS},
pages = {558--572},
publisher = {Springer},
url = {http://link.springer.com/chapter/10.1007%2F978-3-319-11558-0_39}
}
Powered by bibtexbrowser