范·盖尔德,艾伦 产生并验证超大命题反驳。 (英语) Zbl 1273.68329号 安。数学。Artif公司。智力。 65,第4期,329-372(2012). 审核人:Nail Zamov(喀山) MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},Ann.数学。Artif公司。智力。65,第4号,329--372(2012;Zbl 1273.68329) 全文: 内政部
范·盖尔德,艾伦 通过命题可满足性再看图着色。 (英语) 兹比尔1131.05090 离散应用程序。数学。 156,第2号,230-243(2008).MSC公司:05C85号 05C15号 68T20型 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},离散应用程序。数学。156,编号2,230--243(2008;Zbl 1131.05090) 全文: 内政部
福美崎大树;范·盖尔德,艾伦 命题模型消除中的持久性和准持久性引理。 (英语) Zbl 1081.68093号 安。数学。Artif公司。智力。 40,编号3-4,373-401(2004).MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Okushi}和\textit{A.Van Gelder},Ann.数学。Artif公司。智力。40,编号3--4,373--401(2004;Zbl 1081.68093) 全文: 内政部
约翰·佛朗哥;范·盖尔德,艾伦 透视某些多项式时间可解的可满足类。 (英语) Zbl 1012.68085号 离散应用程序。数学。 125,编号2-3,177-214(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Franco}和\textit{A.Van Gelder},离散应用。数学。125,编号2--3,177-214(2003;Zbl 1012.68085) 全文: 内政部
范·盖尔德,艾伦 在可满足性求解器中结合了前序和后序解析。 (英语) Zbl 0990.90534号 Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:爱思唯尔,电子。注释离散数学。9,无页码。,仅电子版(2001)。MSC公司:90C27型 90B40码 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder},电子。注释离散数学。9,无页码。(2001年;Zbl 0990.90534)
范·盖尔德,艾伦;Yumi K.Tsuji。 用更多的推理和更少的猜测进行满意度测试。 (英语) Zbl 0868.03007号 Johnson,David S.(编辑)等人,《派系、着色和可满足性》。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。26, 559-586 (1996). 审核人:M.P.博纳西纳(爱荷华州市) MSC公司:03B35型 第68页第15页 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Van Gelder}和\textit{Y.K.Tsuji},DIMACS,Ser。离散数学。西奥。计算。科学。26、559--586(1996年;Zbl 0868.03007)
范·盖尔德,艾伦 非子句命题演算的可满足性测试仪。 (英语) Zbl 0658.68107号 Inf.计算。 79,第1期,1-21页(1988年). 审核人:M.Zimand先生 MSC公司:第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.van Gelder},Inf.计算。79,第1号,1-21(1988;Zbl 0658.68107) 全文: 内政部
范·盖尔德,艾伦 非子句命题演算的可满足性测试仪。 (英语) Zbl 0546.68074号 自动扣除,程序。第七届国际会议,Napa/Calif.1984,Lect。注释计算。科学。170, 101-112 (1984). 审核人:J.托德 MSC公司:第68页第15页 03B05号 68T05型 03B35型 PDF格式BibTeX公司 XML格式