×

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

最新的 引文 关联
西蒙·海辛格；马蒂娜·塞德尔

真正精心制作的公式族，用于对量化的可满足性求解器进行基准测试。 （英语） Zbl 07810739号

Catherine Dubois（编辑）等人，《智能计算机数学》。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14101, 291-296 (2023).
MSC公司：68伏xx
PDF格式BibTeX公司 XML格式引用
\textit{S.海辛格}和\textit{M.塞德尔}，莱克特。注释计算。科学。14101、291--296（2023；Zbl 07810739）
全文： DOI程序
勒罗伊·周

模NP的QBF证明系统的硬度和最优性。 （英语） Zbl 07495568号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 98-115 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12831，98-115（2021；Zbl 07495568）
全文： DOI程序
罗德里克·布洛姆；尼古拉斯·布劳德·桑托尼；维达德·哈季奇；埃格利，乌韦；弗洛里安·朗辛；马蒂娜·塞德尔

两个SAT解算器，用于求解具有任意数量量词交替的量化布尔公式。 （英语） Zbl 1522.68715号

形式方法系统。设计。 57，第2号，157-177（2021）.
MSC公司：68伏15 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，《形式方法系统》。设计。57，第2号，157--177（2021；Zbl 1522.68715）
全文： DOI程序
勒罗伊·周；朱迪思·克莱莫

QBF扩张如何使战略提取变得困难。 （英语） Zbl 07614507号

佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 66-82 (2020).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{L.Chew}和\textit{J.Clymo}，莱克特。注释计算。科学。12166，66-82（2020；Zbl 07614507）
全文： DOI程序
米纳·马哈扬

QBF证明系统的下限技术。 （英语） Zbl 1487.03067号

Niedermeier，Rolf（编辑）等人，第35届计算机科学理论方面研讨会，2018年2月28日至3月3日，法国卡昂，STACS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。96，第2条，第8页（2018年）。
MSC公司：20层03 03B35型 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mahajan}，LIPIcs——莱布尼茨国际程序。通知。96，第2条，第8页（2018；兹bl 1487.03067）
全文： DOI程序
汤姆·佩特尔；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡

具有依赖方案的远距离Q分辨率。 （英语） Zbl 1475.68446号

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 500-518 (2016).
MSC公司：68伏15 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{T.Peitl}等人，Lect。注释计算。科学。9710500--518（2016；Zbl 1475.68446）
全文： DOI程序 链接
瓦莱里·巴拉巴诺夫；蒋洁红·罗兰；克里斯托夫·斯科尔；阿兰·米什琴科；罗伯特·K·布雷顿。

2QBF：挑战和解决方案。 （英语） Zbl 1475.68335号

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710453-469（2016年）。
MSC公司：68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛V.Balabanov｝等人，Lect。注释计算。科学。9710、453--469（2016年；Zbl 1475.68335）
全文： DOI程序
Tentrup，Leander公司

使用抽象求解非正则QBF。 （英语） 兹比尔1475.68224

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 393-401 (2016).
MSC公司：68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{L.Tentrup}，莱克特。注释计算。科学。9710393--401（2016；Zbl 1475.68224）
全文： DOI程序
马库斯·拉贝。；Sanjit A.Seshia。

增量确定。 （英语） Zbl 1475.68222号

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 375-392 (2016).
MSC公司：68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.N.Rabe}和\textit{S.A.Seshia}，莱克特。注释计算。科学。9710，375--392（2016；Zbl 1475.68222）
全文： DOI程序 链接
丹尼·多列夫；凯乔·赫尔扬科；马蒂·Järvisalo；Janne H.Korhonen。；克里斯托夫·伦岑；乔尔·里比奇；朱卡·索米拉；Siert Wieringa公司

同步计数和计算算法设计。 （英语） Zbl 1346.68038号

J.计算。系统。科学。 82，第2期，310-332（2016）.
MSC公司：64岁以下 68米10 65年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{D.Dolev}等人，《计算杂志》。系统。科学。82，No.2，310--332（2016；Zbl 1346.68038）
全文： DOI程序
屠光华；徐子建；蒋洁红R。

QELL:QBF推理与扩展子句学习和水平化SAT解决。 （英语） Zbl 1471.68263号

Heule，Marijn（编辑）等人，《满意度测试的理论和应用——SAT 2015》。第18届国际会议，美国德克萨斯州奥斯汀，2015年9月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9340, 343-359 (2015).
MSC公司：68T20型 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{K.-H.Tu}等人，Lect。注释计算。科学。9340343--359（2015年；Zbl 1471.68263）
全文： DOI程序
Soh，武藏；丹尼尔·勒贝雷；圣埃芬尼罗塞尔；穆苏诺里·班巴拉；铃木田村

哈密顿循环问题的基于SAT的增量方法，带有本地布尔基数处理。 （英语） Zbl 1432.68420号

Fermé，Eduardo（编辑）等人，《人工智能中的逻辑》。2014年9月24日至26日，第14届欧洲会议，JELIA 2014，葡萄牙马德拉，Funchal。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8761, 684-693 (2014).
MSC公司：68T20型 05C38号 68兰特 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.Soh}等人，Lect。注释计算。科学。8761、684--693（2014年；Zbl 1432.68420）
全文： DOI程序

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件