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)
Date issued
Results 1-1 of 1 (Search time: 0.002 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard | The Impact of Treewidth on {ASP} Grounding and Solving | Konferenzbeitrag Inproceedings ![]() | 2017 |