范·盖尔德,艾伦 产生并验证超大命题反驳。 (英语) Zbl 1273.68329号 安。数学。Artif公司。智力。 65,第4期,329-372(2012). 审核人:奈尔·扎莫夫(喀山) MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \发短信{A.Van Gelder},Ann.Math。Artif公司。智力。65,第4号,329--372(2012;Zbl 1273.68329) 全文: 内政部
范·盖尔德,艾伦 在可满足性求解器中实现更精简的二进制子句推理。 (英语) Zbl 1099.68097号 安。数学。Artif公司。智力。 43,编号1-4,239-253(2005).MSC公司:68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},Ann.数学。Artif公司。智力。43,编号1--4,239--253(2005;Zbl 1099.68097) 全文: 内政部