@misc{indiciae3370091a6792, title = {DynASP2.5: Dynamic Programming on Tree Decompositions in Action}, author = {Johannes K. Fichte and Markus Hecher and Michael Morak and Stefan Woltran}, year = {2017}, url = {https://arxiv.org/abs/1706.09370}, note = {Source identifier: 1706.09370} }