×

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

最新的 引文 关联
范·盖尔德，艾伦

QBF定理证明的包含线性Q分解。 （英语） Zbl 07810576号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13923, 362-376 (2023).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{A.Van Gelder}，莱克特。注释计算。科学。13923、362--376（2023；Zbl 07810576）
全文： 内政部
罗德里克·布洛姆；尼古拉斯·布劳德·桑托尼；维达德·哈季奇；埃格利，乌韦；弗洛里安·朗辛；马蒂娜·塞德尔

两个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）
全文： 内政部
奥拉夫·拜尔斯多夫；乔舒亚·布林霍恩；米纳·马哈扬

将策略构建到QBF证明中。 （英语） Zbl 07559123号

Niedermeier，Rolf（编辑）等人，第36届计算机科学理论方面国际研讨会，2019年3月13日至16日，德国柏林，STACS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126，第14条，第18页（2019年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Beyersdorff}等人，LIPIcs——莱布尼茨国际程序。通知。126，第14条，第18页（2019年；Zbl 07559123）
全文： 内政部
赫金·哈布什，杰斯科；Leander Tentrup公司

通过抽象求解QBF。 （英语） Zbl 1528.68223号

Orlandini，Andrea（编辑）等人，第九届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2018，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）27788-102（2018）。
MSC公司：60年第68季度 68问题85 68T20型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛J.Hecking Harbusch｝和\textit｛L.Tentrup｝，Electron。程序。西奥。计算。科学。（EPTCS）277，88--102（2018；Zbl 1528.68223）
全文： arXiv公司 链接
米纳·马哈扬

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）
全文： 内政部
汤姆·佩特尔；弗里德里希·斯利沃夫斯基；斯泽德，斯特凡

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

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第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）
全文： 内政部 链接
弗洛里安·朗辛；埃格利，乌韦；马蒂娜·塞德尔

广义公理的Q分解。 （英语） Zbl 1475.68442号

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 435-452 (2016).
MSC公司：68伏15 03B35型 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{F.Lonsing}等人，Lect。注释计算。科学。9710，435--452（2016；Zbl 1475.68442）
全文： 内政部 arXiv公司
米科拉什·亚诺塔

关于Q分辨率和CDCL QBF求解。 （英语） Zbl 1475.68440号

Creignou，Nadia（编辑）等人，《可满足性测试的理论和应用——SAT 2016》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 402-418 (2016).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Janota}，莱克特。注释计算。科学。9710、402--418（2016；Zbl 1475.68440）
全文： 内政部
Leander Tentrup公司

使用抽象的非prenex QBF解决方案。 （英语） Zbl 1475.68224号

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

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

Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第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）
全文： 内政部 链接
屠光华；徐子建；蒋洁红R。

QELL：具有扩展子句学习和水平SAT求解的QBF推理。 （英语） 兹比尔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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件