ML Anthology

The Impact of Treewidth on ASP Grounding and Solving

Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran
IJCAI 2017 pp. 852-858
doi:10.24963/IJCAI.2017/118 /ijcai/2017/bliem2017ijcai-impact/
PDF IJCAI Semantic Scholar

Cite

Text

Bliem et al. "The Impact of Treewidth on ASP Grounding and Solving." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/118

Markdown

[Bliem et al. "The Impact of Treewidth on ASP Grounding and Solving." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/bliem2017ijcai-impact/) doi:10.24963/IJCAI.2017/118

BibTeX

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