约翰·费希特。;马库斯·赫彻;帕特里克·蒂尔;斯特凡·沃尔特兰 利用数据库管理系统和树宽度进行计数。 （英语） Zbl 1530.68067号 理论与实践。日志。程序。 22，第1期，128-157（2022）.MSC公司：第68页，共15页 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人，《理论与实践》。日志。程序。22，第1号，128--157（2022；Zbl 1530.68067） 全文： 内政部 arXiv公司
格哈德·布鲁卡;马丁·迪勒;乔治·海森伯格;托马斯·林斯比勒;斯特凡·沃尔特兰 用答案集编程解决高级论证问题。 （英语） Zbl 1472.68186号 理论与实践。日志。程序。 20，第3号，391-431（2020）.MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人，《理论与实践》。日志。程序。20，第3号，391--431（2020；Zbl 1472.68186） 全文： 内政部 arXiv公司
约翰·费希特。;马库斯·赫彻;斯特凡·沃尔特兰;马库斯·齐塞尔 通过利用小树宽在GPU上计算加权模型。 （英语） Zbl 1524.68343号 Azar，Yossi（编辑）等人，第26届欧洲算法年会，2018年8月20日至22日，欧洲航天局，芬兰赫尔辛基。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。112，第28条，第16页（2018年）。MSC公司：68T20型 68兰特 68周05 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人，LIPIcs——莱布尼茨国际程序。通知。112，第28条，第16页（2018；Zbl 1524.68343） 全文： 内政部
伯恩哈德·布利姆;斯特凡·沃尔特兰 安全集的复杂性。 （英语） Zbl 1391.68047号 算法学 80，第10号，2909-2940（2018）.MSC公司：65年第68季度 05C85号 2017年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{B.Bliem}和\textit{S.Woltran}，《算法》80，第10期，2909--2940（2018；Zbl 1391.68047） 全文： 内政部 arXiv公司
约翰·费希特。;特鲁什琴斯基，米洛斯奥;斯特凡·沃尔特兰 双正规逻辑程序——被遗忘的类。 （英语） Zbl 1379.68061号 理论与实践。日志。程序。 15，No.4-5，495-510（2015）.MSC公司：68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人，《理论与实践》。日志。程序。15，编号4--5，495--510（2015；Zbl 1379.68061） 全文： 内政部 arXiv公司
莎拉·加格尔（Sarah A.Gaggl）。;诺伯特·曼恩;亚历山德罗·隆卡;约翰·沃纳（Johannes P.Wallner）。;斯特凡·沃尔特兰 改进了用于抽象论证的答案集编程编码。 （英语） Zbl 1379.68292号 理论与实践。日志。程序。 15，No.4-5，434-448（2015）.MSC公司：68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人，《理论与实践》。日志。程序。15，编号4--5，434--448（2015；Zbl 1379.68292） 全文： 内政部 arXiv公司
格恩瑟·查瓦特;斯特凡·沃尔特兰 使用二元决策图有效解决树分解问题。 （英语） Zbl 1467.68043号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 213-227 (2015).MSC公司：68第05页 68第20页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Charwat}和\textit{S.Woltran}，莱克特。注释计算。科学。9345、213--227（2015；Zbl 1467.68043） 全文： 内政部
格恩瑟·查瓦特;沃尔夫冈·德沃亚克;莎拉·加格尔（Sarah A.Gaggl）。;约翰·沃纳（Johannes P.Wallner）。;斯特凡·沃尔特兰 解决抽象论证中推理问题的方法——综述。 （英语） Zbl 1328.68212号 Artif公司。智力。 220，28-63（2015年）.MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \textit{G.Charwat}等人，Artif。智力。220、28-63（2015；Zbl 1328.68212） 全文： 内政部
马里奥·阿尔维亚诺;沃尔夫冈·费伯;斯特凡·沃尔特兰 ASP中超相干问题的复杂性。 （英语） 兹比尔1312.68034 理论与实践。日志。程序。 14，第3期，339-361（2014）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。14，第3号，339--361（2014；Zbl 1312.68034） 全文： 内政部 arXiv公司
莱因哈德·皮克勒;斯特凡·吕梅尔;斯泽德，斯特凡;斯特凡·沃尔特兰 带权重约束的可追踪答案集编程：有界树宽是不够的。 （英语） Zbl 1310.68053号 理论与实践。日志。程序。 14，第2期，141-164（2014）.MSC公司：68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Pichler}等人，《理论与实践》。日志。程序。14，第2号，141--164（2014；Zbl 1310.68053） 全文： 内政部 arXiv公司
沃尔夫冈·德沃亚克;莱因哈德·皮克勒;斯特凡·沃尔特兰 面向抽象论证的固定参数可处理算法。 （英语） 兹比尔1251.68226 Artif公司。智力。 186, 1-37 (2012).MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人，Artif。智力。186，1-37（2012年；兹比尔1251.68226） 全文： 内政部