×

找到20个文档（结果1–20）

最新的 引文 关联
迈克尔·劳森；贾尔斯·里格尔

在模型消除过程中消除模型。 （英语） Zbl 07532520号

Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 250-265 (2021).
MSC公司：68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛M.Rawson｝和\textit｛G.Reger｝，Lect。注释计算。科学。128422250-265（2021年；兹bl 07532520）
全文： DOI程序
尤拉吉·西奇；斯特雷切克，简

DQBDD：一种高效的基于BDD的DQBF求解器。 （英语） Zbl 07495596号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 535-544 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{J.Síč}和textit{J·斯特雷奇克}，莱克特。注释计算。科学。12831535--544（2021；Zbl 07495596）
全文： DOI程序
皮·马蒂厄；穆罕默德·萨米·谢里夫；贾马尔·哈贝特

Max-SAT的校对生成器。 （英语） Zbl 07495593号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831, 488-498 (2021).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Py}等人，Lect。注释计算。科学。12831488--498（2021；Zbl 07495593）
全文： DOI程序 哈尔
丹尼尔·勒贝雷；罗曼·沃伦

PB解决方案的专用CDCL策略。 （英语） Zbl 07495582号

Li，Chu Min（ed.）等人，《可满足性测试的理论与应用——SAT 2021》。第24届国际会议，西班牙巴塞罗那，2021年7月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12831315-331（2021年）。
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Le Berre}和\textit{R.Wallon}，Lect。注释计算。科学。12831、315--331（2021；Zbl 07495582）
全文： DOI程序 arXiv公司
马库斯·赫彻；帕特里克·蒂尔；斯特凡·沃尔特兰

通过抽象、嵌套动态编程和数据库技术来适应高树宽。 （英语） Zbl 07331032号

Pulina，Luca（编辑）等人，《可满足性测试的理论和应用——SAT 2020》。第23届国际会议，意大利阿尔盖罗，2020年7月3日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12178, 343-360 (2020).
MSC公司：65年第68季度 68兰特 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Hecher}等人，Lect。注释计算。科学。12178，343--360（2020；Zbl 07331032）
全文： DOI程序
阿列克谢·伊格纳提耶夫；安东尼奥·莫尔加多；若昂·西尔瓦侯爵

关于解决SAT解决中分辨率的限制。 （英语） 兹比尔1496.68368

Gaspers，Serge（编辑）等人，《满意度测试的理论和应用——2017年SAT》。第20届国际会议，澳大利亚维多利亚州墨尔本，2017年8月28日至9月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10491, 164-183 (2017).
MSC公司：68伏15 03B35型 20层03 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Ignatiev}等人，Lect。注释计算。科学。10491、164-183（2017年；Zbl 1496.68368）
全文： DOI程序 arXiv公司
Tentrup，Leander公司

使用抽象求解非正则QBF。 （英语） 兹比尔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）
全文： 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程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件