马丁·格布瑟;奥昆特·萨布努克;托尔斯滕·绍布 基于增量答案集编程的有限模型计算系统。 (英语) Zbl 1215.68209号 AI通讯。 24,第2期,195-212(2011).MSC公司:68吨15 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,AI Commun。24,编号2195-212(2011年;兹bl 1215.68209) 全文: 链接
马丁·格布瑟;本杰明·考夫曼;罗兰·卡明斯基;马克斯·奥斯特罗斯基;托尔斯滕·绍布;马吕斯·施奈德 Potassco:波茨坦答案集求解集合。 (英语) Zbl 1215.68214号 AI通讯。 24,第2期,107-124(2011).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人,AI Commun。24,第2号,107--124(2011;Zbl 1215.68214) 全文: 链接