×

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

最新 引文 关联
唐纳德·洛夫兰;阿什什·萨巴沃尔;巴特·塞尔曼

DPLL：现代可满足性求解器的核心。 （英语） Zbl 1439.68026号

Omodeo、Eugenio G.（编辑）等，马丁·戴维斯，关于可计算性、计算逻辑和数学基础。查姆：斯普林格。Outst公司。控制日志。10, 315-335 (2016).
理学硕士：68伏15 68-03 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Loveland}等人，Outst。控制日志。10、315--335（2016；Zbl 1439.68026）
全文： 内政部
丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）
[尼古拉·比约纳;莱昂纳多·德·莫拉;希勒尔·库格勒]

决策程序。算法观点。第二版。 （英语） Zbl 1358.68002号

理论计算机科学课文。EATCS系列柏林：施普林格出版社（ISBN 978-3-662-50496-3/hbk；978-3-562-50497-0/电子书）。第22、356页。(2016).
理学硕士：68-01 2002年8月 68吨15 68T20型 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.Kroening}和\textit{O.Strichman}，决策程序。算法观点。第二版。柏林：施普林格出版社（2016；Zbl 1358.68002）
全文： 内政部
让-马里·拉格尼兹;阿米恩·比尔

分解假设以加快MUS提取。 （英语） Zbl 1390.68601号

Järvisalo，Matti（编辑）等人，《可满足性测试的理论和应用——2013年SAT》。第十六届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-39070-8/pbk）。计算机科学课堂讲稿7962276-292（2013）。
理学硕士：68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{J.-M.Lagniez}和\textit{A.Biere}，莱克特。注释计算。科学。7962276--292（2013年；兹比尔1390.68601）
全文： 内政部
哈迪·卡提比;卡伦·萨卡拉。;Joáo P.塞尔瓦侯爵。

现代SAT解题器剖析的实证研究。 （英语） Zbl 1330.68271号

Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲义6695，343-356（2011）。
理学硕士：68T20型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{H.Katebi}等人，Lect。注释计算。科学。6695、343--356（2011年；Zbl 1330.68271）
全文： 内政部
托马斯·斯特姆;克里斯托夫·泽格勒

参数化量化SAT求解。 （英语） Zbl 1321.68322号

Watt，Stephen M.（编辑），第35届符号和代数计算国际研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25-28日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0150-3）。77-84 (2010).
理学硕士：65年第68季度 03B05号 03C10号机组 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{T.Sturm}和\textit{C.Zengler}，摘自：第35届符号和代数计算国际研讨会论文集，ISSAC 2010，德国慕尼黑，2010年7月25-28日。纽约州纽约市：计算机协会（ACM）。77-84（2010年；Zbl 1321.68322）
全文： 内政部
罗伯特·布鲁迈耶;弗洛里安·朗辛;阿明·比尔

SAT和QBF解算器的自动测试和调试。 （英语） Zbl 1306.68155号

Strichman，Ofer（编辑）等人，《可满足性测试的理论和应用——SAT 2010》。2010年7月11日至14日，英国爱丁堡，第13届国际会议，SAT 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14185-0/pbk）。计算机科学课堂讲稿6175，44-57（2010）。
理学硕士：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Brummayer}等人，Lect。注释计算。科学。6175、44-57（2010年；Zbl 1306.68155）
全文： 内政部
阿尔伯特·阿塞里亚斯;费希特，约翰内斯·克劳斯;马克·瑟利

具有多次重启和有界宽度分辨率的子句学习算法。 （英语） Zbl 1247.68245号

Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584114-127（2009）。
理学硕士：68T20型 68T05型 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{A.Atserias}等人，Lect。注释计算。科学。5584114-127（2009年；Zbl 1247.68245）
全文： 内政部 arXiv公司
托拜厄斯·艾巴赫;恩里科·皮尔茨;冈纳尔·沃尔克尔

使用SAT解算器攻击Bivium。 （英语） Zbl 1138.68536号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，63-76（2008）。
理学硕士：68T20型 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{T.Eibach}等人，Lect。注释计算。科学。4996，63-76（2008年；Zbl 1138.68536）
全文： 内政部
阿明·比尔

冲突驱动SAT解算器的自适应重启策略。 （英语） Zbl 1138.68533号

Kleine Büning，Hans（编辑）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，28-33（2008）。
理学硕士：68T20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Biere}，莱克特。注释计算。科学。4996，28-33（2008；Zbl 1138.68533）
全文： 内政部
奥德马尔，G。;波尔多，L。;Y.哈马迪。;南卡罗来纳州贾布尔。;塞斯，L。

冲突分析的通用框架。 （英语） 兹比尔1138.68485

Kleine Büning，Hans（ed.）等人，《可满足性测试的理论和应用——SAT 2008》。2008年5月12日至15日，中国广州，第十一届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-79718-0/pbk）。计算机科学课堂讲稿4996，21-27（2008）。
理学硕士：68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Audemard}等人，Lect。注释计算。科学。4996，21-27（2008；Zbl 1138.68485）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件