@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} }