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

Pichler, Reinhard; Rümmele, Stefan; Szeider, Stefan; Woltran, Stefan

doi:10.1017/S1471068412000099

by Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran

Reference:

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

Bibtex Entry:

@string{tplp="Theory Pract. Log. Program."}
@article{PichlerRuemmeleSzeiderWoltran14,
  author    = {Reinhard Pichler and
               Stefan R{\"{u}}mmele and
               Stefan Szeider and
               Stefan Woltran},
  title     = {Tractable answer-set programming with weight constraints: bounded
               treewidth is not enough},
  journal   = TPLP,
  volume    = {14},
  number    = {2},
  pages     = {141-164},
  year      = {2014},
  doi       = {10.1017/S1471068412000099},
}