阿贝尔斯,德克;朱利安·乔迪;马克斯·奥斯特罗斯基;托尔斯滕·绍布;安布拉·托莱蒂;菲利普·旺科 混合答案集编程的列车调度。 (英语) Zbl 1522.68095号 理论与实践。日志。程序。 21,第3号,317-347(2021).MSC公司:68N17号 68T20型 68立方英尺 90B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Abels}等人,《理论与实践》。日志。程序。21,第3号,317--347(2021;Zbl 1522.68095) 全文: 内政部 arXiv公司
穆苏诺里·班巴拉;本杰明·考夫曼;马克斯·奥斯特罗斯基;托尔斯滕·绍布 执着的人:下一代。 (英语) Zbl 1379.68040号 理论与实践。日志。程序。 17,第4号,408-461(2017).MSC公司:68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banbara}等人,《理论与实践》。日志。程序。17,第4号,408--461(2017;Zbl 1379.68040) 全文: 内政部 arXiv公司
马丁·格布瑟;汤米·詹胡宁;罗兰·卡明斯基;托尔斯滕·绍布;沙哈卜·塔沙罗菲 为子句编写声明性规范。 (英语) Zbl 1483.68378号 Michael,Loizos(编辑)等人,《人工智能中的逻辑》。2016年11月9日至11日,第15届欧洲会议,JELIA 2016,塞浦路斯拉纳卡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10021, 256-271 (2016).MSC公司:68T27型 68N17号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。10021256-271(2016;Zbl 1483.68378) 全文: 内政部
马丁·格布瑟;马克斯·奥斯特罗斯基;托尔斯滕·绍布 约束答案集求解。 (英语) Zbl 1251.68061号 Hill,Patricia M.(编辑)等人,《逻辑编程》。2009年7月14日至17日,在美国加利福尼亚州帕萨迪纳举行的第25届ICLP国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02845-8/pbk)。计算机科学讲座笔记5649235-249(2009)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,Lect。注释计算。科学。5649,235--249(2009;Zbl 1251.68061) 全文: 内政部