Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs

Bliem, Bernhard

Autor(en):

Vollständige Referenz
BibTeX

Bliem, B., (2018). Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs. In: Hölldobler, S. (Hrsg.), Ausgezeichnete Informatikdissertationen 2017. Bonn: Gesellschaft für Informatik e.V.. (S. 31-40).

@inproceedings{mci/Bliem2018,
author = {Bliem, Bernhard},
title = {Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs},
booktitle = {Ausgezeichnete Informatikdissertationen 2017},
year = {2018},
editor = {Hölldobler, Steffen} ,
pages = { 31-40 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}