@inproceedings{DBLP:conf/ijcai/BliemKSW16,
  title = {{ASP} for Anytime Dynamic Programming on Tree Decompositions},
  author = {Bliem, Bernhard and Kaufmann, Benjamin and Schaub, Torsten and Woltran, Stefan},
  booktitle = {{IJCAI}},
  pages = {979--986},
  publisher = {{IJCAI/AAAI} Press},
  year = {2016}
}