@inproceedings{ijcai2017p118, author = {Bernhard Bliem and Marius Moldovan and Michael Morak and Stefan Woltran}, title = {The Impact of Treewidth on ASP Grounding and Solving}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI-17}}, pages = {852--858}, year = {2017}, doi = {10.24963/ijcai.2017/118}, url = {https://doi.org/10.24963/ijcai.2017/118}, }