TY  - RPRT
TI  - Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough
AU  - Reinhard Pichler
AU  - Stefan Rümmele
AU  - Stefan Szeider
AU  - Stefan Woltran
PY  - 2012
DO  - 10.1017/s1471068412000099
UR  - https://arxiv.org/abs/1204.3040
ID  - 1204.3040
ER  -