恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉 量化布尔逻辑可满足性的回跳。 (英语) Zbl 1082.68795号 Artif公司。智力。 145,编号1-2,99-120(2003).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人,Artif。智力。145,编号1--2,99-120(2003;Zbl 1082.68795) 全文: 内政部
恩里科·金西格里亚;马西莫·纳里扎诺;阿曼多·塔切拉;莫舍·瓦尔迪。 建立高效的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)