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

Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran. Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough. In Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010. AAAI Press, 2010. [doi]

@inproceedings{PichlerRSW10,
  title = {Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough},
  author = {Reinhard Pichler and Stefan Rümmele and Stefan Szeider and Stefan Woltran},
  year = {2010},
  url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1368},
  tags = {constraints, programming},
  researchr = {https://researchr.org/publication/PichlerRSW10},
  cites = {0},
  citedby = {0},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010},
  editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski},
  publisher = {AAAI Press},
}