×

找到8个文档(结果1-8)

在可满足性求解器中结合了前序和后序解析。 (英语) Zbl 0990.90534号

Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:爱思唯尔,电子。注释离散数学。9,无页码。,仅电子版(2001)。
MSC公司:90C27型 90B40码
PDF格式BibTeX公司 XML格式引用

用更多的推理和更少的猜测进行满意度测试。 (英语) Zbl 0868.03007号

Johnson,David S.(编辑)等人,《派系、着色和可满足性》。第二个DIMACS实施挑战。1993年10月11日至13日在DIMACS举行的研讨会会议记录。普罗维登斯,RI:美国数学学会。DIMACS系列。离散数学。西奥。计算。科学。26, 559-586 (1996).
MSC公司:03B35型 第68页第15页 03B05号
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份