Tractable answer-set programming with weight constraints: bounded treewidth is not enough

Reinhard Pichler, Stefan R{ü}mmele, Stefan Szeider, Stefan Woltran
January 2014
bib DOI

Abstract

Full Citation:

Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran. Tractable answer-set programming with weight constraints: bounded treewidth is not enough. Theory Pract. Log. Program., volume 14, number 2, pages 141-164, 2014.

Type
Journal Article
Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.