@inproceedings{DBLP:conf/iwpec/FichteHMW17, title = {DynASP2.5: Dynamic Programming on Tree Decompositions in Action}, author = {Fichte, Johannes Klaus and Hecher, Markus and Morak, Michael and Woltran, Stefan}, booktitle = {{IPEC}}, pages = {17:1--17:13}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}, series = {LIPIcs}, volume = {89}, year = {2017} }