4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017)
Event name
4th International Workshop on Grounding and Transformations for Theories with Variables (GTTV 2017)
Start date
03-07-2017
Location
Espoo, Helsinki
Country
Event format Veranstaltungsformat
On Site
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 |