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...

Celý popis

Podrobná bibliografie

Vydáno v:	The Journal of artificial intelligence research Ročník 67; s. 35 - 80
Hlavní autoři:	Bliem, Bernhard, Morak, Michael, Moldovan, Marius, Woltran, Stefan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	San Francisco AI Access Foundation 01.01.2020
Témata:	Artificial intelligence Complexity Declarative programming Mathematical programming
ISSN:	1076-9757, 1076-9757, 1943-5037
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!