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

Open in new window