佐藤、晴彦;莎拉·温克勒 编码依赖对技术和最大完成控制策略。 (英语) Zbl 1465.68126号 Felty,Amy P.(编辑)等人,《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9195152-162(2015年)。MSC公司:2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{H.Sato}和\textit{S.Winkler},莱克特。注释计算。科学。9195,152--162(2015;Zbl 1465.68126) 全文: 内政部
迈克尔·科迪什;吉尔根·吉斯尔;彼得·施奈德·坎普;雷内·蒂曼 具有递归路径顺序和依赖对的终止证明的SAT求解。 (英语) Zbl 1276.68140号 J.汽车。推理 49,第1期,53-93(2012).MSC公司:68T20型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Codish}等人,J.Autom。推理49,第1号,53-93(2012年;Zbl 1276.68140) 全文: 内政部
哈拉尔德·赞克;Nao Hirokawa;阿尔特·米德尔多普 KBO定向能力。 (英语) Zbl 1184.68303号 J.汽车。推理 43,第2期,173-201(2009).MSC公司:2012年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{H.Zankl}等人,J.Autom。推理43,No.2,173--201(2009;Zbl 1184.68303) 全文: 内政部