Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough.

Reinhard Pichler, Stefan Rmmele, Stefan Szeider, Stefan Woltran

Browse the full KR paper archive.