The D-FLAT System for Dynamic Programming on Tree Decompositions

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]

@inproceedings{AbseherBCDHW14,
  title = {The D-FLAT System for Dynamic Programming on Tree Decompositions},
  author = {Michael Abseher and Bernhard Bliem and Günther Charwat and Frederico Dusberger and Markus Hecher and Stefan Woltran},
  year = {2014},
  doi = {10.1007/978-3-319-11558-0_39},
  url = {http://dx.doi.org/10.1007/978-3-319-11558-0_39},
  researchr = {https://researchr.org/publication/AbseherBCDHW14},
  cites = {0},
  citedby = {0},
  pages = {558-572},
  booktitle = {Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
  editor = {Eduardo Fermé and João Leite},
  volume = {8761},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-11557-3},
}