Stefan Rümmele | AC Group | TU Wienhttps://ac.tuwien.ac.at/team/stefan-rummele/Stefan RümmeleHugo Blox Builder (https://hugoblox.com)en-usWed, 01 Jan 2014 00:00:00 +0000https://ac.tuwien.ac.at/media/logo_hu10234977157890132473.pngStefan Rümmelehttps://ac.tuwien.ac.at/team/stefan-rummele/Tractable answer-set programming with weight constraints: bounded treewidth is not enoughhttps://ac.tuwien.ac.at/publication/tractable-answer-set-programming-with-weight-constraints-bounded-treewidth-is-not-enough-2/Wed, 01 Jan 2014 00:00:00 +0000https://ac.tuwien.ac.at/publication/tractable-answer-set-programming-with-weight-constraints-bounded-treewidth-is-not-enough-2/Backdoors to Abductionhttps://ac.tuwien.ac.at/publication/backdoors-to-abduction/Tue, 01 Jan 2013 00:00:00 +0000https://ac.tuwien.ac.at/publication/backdoors-to-abduction/Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enoughhttps://ac.tuwien.ac.at/publication/tractable-answer-set-programming-with-weight-constraints-bounded-treewidth-is-not-enough/Fri, 01 Jan 2010 00:00:00 +0000https://ac.tuwien.ac.at/publication/tractable-answer-set-programming-with-weight-constraints-bounded-treewidth-is-not-enough/