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

Full description

Saved in:

Bibliographic Details
Published in:	The Journal of artificial intelligence research Vol. 67; pp. 35 - 80
Main Authors:	Bliem, Bernhard, Morak, Michael, Moldovan, Marius, Woltran, Stefan
Format:	Journal Article
Language:	English
Published:	San Francisco AI Access Foundation 01.01.2020
Subjects:	Artificial intelligence Complexity Declarative programming Mathematical programming
ISSN:	1076-9757, 1076-9757, 1943-5037
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!