Proceedings of the 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017)

Book title Buchtitel
Proceedings of the 4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017)
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard The Impact of Treewidth on {ASP} Grounding and SolvingKonferenzbeitrag Inproceedings 2017