The Impact of Treewidth on Grounding and Solving of Answer Set Programs

In this paper, we aim to study how the performance of modern answer set programming (ASP) solvers is influenced by the treewidth of the input program and to investigate the consequences of this relationship. We first perform an experimental evaluation that shows that the solving performance is heavi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of artificial intelligence research Jg. 67; S. 35 - 80
Hauptverfasser:	Bliem, Bernhard, Morak, Michael, Moldovan, Marius, Woltran, Stefan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	San Francisco AI Access Foundation 01.01.2020
Schlagworte:	Artificial intelligence Complexity Declarative programming Mathematical programming
ISSN:	1076-9757, 1076-9757, 1943-5037
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!