×

找到22个文档（结果1-22）

最新的 引文 关联
多米尼克·舍德；菲利普·祖姆施泰因

有多少冲突是不可满足的？ （英语） Zbl 1138.68553号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，246-256（2008）。
MSC公司：68T20型 03B05号
PDF格式BibTeX公司 XML格式引用
\textit{D.Scheder}和\textit{P.Zumstein}，莱克特。注释计算。科学。4996，246--256（2008年；Zbl 1138.68553）
全文： 内政部 链接
米歇尔·拉古达基斯。；迈克尔·利特曼。

学习在DPLL过程中选择分支规则以实现可满足性。 （英语） Zbl 0990.90543号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注意离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Lagoudakis}和\textit{M.L.Littman}，电子。注意离散数学。9，无页码。（2001年；Zbl 0990.90543）
卡斯滕·辛兹；沃尔夫冈·布隆金格；沃尔夫冈·库奇林

PaSAT——带引理交换的并行SAT检查：实现和应用。 （英语） Zbl 0990.90563号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注意离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型
PDF格式BibTeX公司 XML格式引用
\textit{C.Sinz}等人，《电子》。注意离散数学。9，无页码。（2001年；Zbl 0990.90563）
布鲁尼，雷纳托；安东尼奥·萨萨诺

通过寻找小的不可满足子公式来恢复可满足性或保持不可满足性。 （英语） Zbl 0990.90564号

Kautz，Henry（编辑）等，2001年LICS满意度测试理论与应用研讨会（SAT 2001）。2001年6月14日至15日，美国马萨诸塞州波士顿。阿姆斯特丹：Elsevier，Electron。注意离散数学。9，无页码。，仅电子版（2001）。
MSC公司：90C27型 90 C59
PDF格式BibTeX公司 XML格式引用
\textit｛R.Bruni｝和\textit｛A.Sassano｝，电子。注意离散数学。9，无页码。（2001年；Zbl 0990.90564）
尼古拉·S·比约纳。；Stickel，Mark E。；Tomás E.乌里韦。

一阶推理和决策程序的实际集成。 （英语） Zbl 1430.03037号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 101-115 (1997).
MSC公司：03B35型 60年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{N.S.Björner}等人，Lect。注释计算。科学。1249、101--115（1997年；Zbl 1430.03037）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件