Knowledge Processing and Information Systems
Dynamic Programming on Tree Decompositions with D-FLAT

@article{DBLP:journals/ki/AbseherBHMW18,
  title = {Dynamic Programming on Tree Decompositions with {D-FLAT}},
  author = {Abseher, Michael and Bliem, Bernhard and Hecher, Markus and Moldovan, Marius and Woltran, Stefan},
  journal = {{KI}},
  number = {2-3},
  pages = {191--192},
  volume = {32},
  year = {2018}
}