林奇,因斯;若昂·马奎斯·席尔瓦 用于回溯搜索SAT解算器的高效数据结构。 (英语) Zbl 1099.68025号 安。数学。工件。智力。 43,编号1-4137-152(2005).MSC公司:68磅05分 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{I.Lynge}和\textit{J.Marques-Silva},安.数学。工件。智力。43,编号1--4,137-152(2005;Zbl 1099.68025) 全文: DOI程序 链接
Okushi、Fumiaki;范·盖尔德,艾伦 命题模型消除中的持久性和准持久性引理。 (英语) Zbl 1081.68093号 安。数学。工件。智力。 40,编号3-4,373-401(2004).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{F.Okushi}和\textit{A.Van Gelder},Ann.数学。工件。智力。40,编号3--4,373--401(2004;Zbl 1081.68093) 全文: DOI程序
克劳迪娅·菲奥里尼;恩里科·马蒂内利;法比奥·马萨奇 如何通过将模根查找编码为SAT问题来伪造RSA签名。 (英语) Zbl 1029.68053号 离散应用程序。数学。 130,第2期,101-127(2003).MSC公司:68第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fiorini}等人,《离散应用》。数学。130,第2号,101--127(2003;Zbl 1029.68053) 全文: DOI程序
布鲁尼,雷纳托 通过自适应核搜索逼近最小不可满足子公式。 (英语) 兹比尔1029.68075 离散应用程序。数学。 130,第2号,85-100(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni},离散应用程序。数学。130,第2号,85--100(2003;Zbl 1029.68075) 全文: DOI程序
布鲁尼,雷纳托;安东尼奥·萨萨诺 命题可满足性的一种完全自适应算法。 (英语) Zbl 1019.68043号 离散应用程序。数学。 127,第3期,523-534(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{A.Sassano},离散应用程序。数学。127,第3号,523--534(2003;Zbl 1019.68043) 全文: DOI程序
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立一个高效的SAT图书馆:宣言。 (英语) Zbl 0990.90559号 Kautz,Henry(编辑)等,2001年LICS满意度测试理论与应用研讨会(SAT 2001)。2001年6月14日至15日,美国马萨诸塞州波士顿。阿姆斯特丹:Elsevier,Electron。注释离散数学。9,无页码。,仅电子版(2001)。MSC公司:90C27型 90 C59 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,《电子》。注释离散数学。9,无页码。(2001年;Zbl 0990.90559)