张,韩;李娇阳;帕维尔·苏瑞克;萨蒂什·库马尔,T.K。;斯文·柯尼格 使用互斥传播的多代理路径查找。 (英语) Zbl 1519.68243号 Artif公司。智力。 311,文章ID 103766,21 p.(2022).MSC公司:68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhang}等人,Artif。智力。311,文章ID 103766,21 p.(2022;Zbl 1519.68243) 全文: 内政部
彼得·库切拉 学习传播完整公式。 (英语) Zbl 1522.68468号 Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292214-231(2022年)。MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \文本{P.Kučera},Lect。注释计算。科学。13292,214--231(2022;Zbl 1522.68468) 全文: 内政部
鲍里斯·布里姆科夫;德里克·米凯塞尔;伊利亚·希克斯。 改进了迫零的计算方法和启发式。 (英语) Zbl 07549340号 信息J.计算。 33,第4期,1384-1399(2021).MSC公司:90倍X PDF格式BibTeX公司 XML格式引用 \textit{B.Brimkov}等人,《信息与计算》。33,第4号,1384-1399(2021;Zbl 07549340) 全文: 内政部
诺伯特·曼恩 这个合并卫星解算器。 (英语) Zbl 07495587号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 387-398 (2021).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Manthey},莱克特。注释计算。科学。12831387--398(2021;Zbl 07495587) 全文: 内政部
斯蒂芬·科切马佐夫;阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 通过增量SAT镜头评估SAT求解器的进展。 (英语) Zbl 07495580号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 280-298 (2021).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kochemazov}等人,Lect。注释计算。科学。12831280-298(2021;Zbl 07495580) 全文: 内政部
阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 基于SAT的决策列表的严格解释。 (英语) Zbl 07495578号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 251-269 (2021).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}和\textit{J.Marques-Silva},莱克特。注释计算。科学。12831251--269(2021;Zbl 07495578) 全文: 内政部 arXiv公司
蔡少伟;张新迪 CDCL与SAT本地搜索的深度合作。 (英语) Zbl 07495566号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 64-81 (2021).MSC公司:65年第68季度 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cai}和\textit{X.Zhang},Lect。注释计算。科学。12831、64-81(2021;Zbl 07495566) 全文: 内政部
于金强;阿列克谢·伊格纳提耶夫;彼得·斯图基(Peter J.Stuckey)。;皮埃尔·勒·博迪奇 使用SAT学习最优决策集和列表。 (英语) Zbl 1522.68489号 J.阿蒂夫。智力。研究(JAIR) 72, 1251-1279 (2021).MSC公司:68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Yu}等人,J.Artif。智力。研究(JAIR)72,1251--1279(2021;Zbl 1522.68489) 全文: 内政部
玛丽亚·路易莎·博内;萨姆·巴斯;阿列克谢·伊格纳提耶夫;安东尼奥·莫尔加多;若昂·西尔瓦侯爵 基于最大可满足性的命题证明系统。 (英语) Zbl 1520.68103号 Artif公司。智力。 300,文章ID 103552,39 p.(2021).MSC公司:68兰特 20层03 65年第68季度 68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.L.Bonet}等人,Artif。智力。300,文章ID 103552,39 p.(2021;Zbl 1520.68103) 全文: 内政部
纪尧姆·埃斯卡莫彻;巴里·奥沙利文;史蒂文·戴维·普雷斯特维奇 在未探索的约束区域中生成困难的CNF实例。 (英语) Zbl 1521.68085号 ACM J.实验算法。 25,第1.6号文件,第12页(2020).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Escamocher}等人,ACM J.实验算法。25,论文编号1.6,12 p.(2020;Zbl 1521.68085) 全文: 内政部
裴燕如;马努基安,海克;马西米利亚诺·迪文特拉 生成具有受挫循环的加权MAX-2-SAT实例:RBM案例研究。 (英语) Zbl 1525.68146号 J.马赫。学习。物件。 21,第159号论文,55页(2020年).MSC公司:68T20型 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Y.R.Pei}等人,J.Mach。学习。第21号决议,第159号文件,第55页(2020年;兹bl 1525.68146) 全文: arXiv公司 链接
简·霍拉克;马丁·克鲁泽 关于从CNF到ANF的转换。 (英语) Zbl 1432.68600号 J.塞姆。计算。 100, 164-186 (2020).MSC公司:68瓦30 06E30年 第13页第10页 68兰特 94D10号 PDF格式BibTeX公司 XML格式引用 \textit{J.Horáckek}和\textit{M.Kreuzer},J.Symb。计算。100164--186(2020年;Zbl 1432.68600) 全文: 内政部
Jean-Marie拉格尼茨;伊曼纽尔·隆卡;皮埃尔·侯爵 模型计数的定义。 (英语) Zbl 1435.68304号 Artif公司。智力。 281,文章ID 103229,32 p.(2020).MSC公司:68T20型 03B05号 68兰特 94C11号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-M.Lagniez}等人,Artif。智力。281,文章ID 103229,32 p.(2020;Zbl 1435.68304) 全文: 内政部
李楚敏;肖,范;罗,毛;很多,费利普;吕志鹏;李、余 CDCL SAT解算器中通过单位传播实现子句生动化。 (英语) 兹比尔1478.68325 Artif公司。智力。 279,文章ID 103197,23 p.(2020).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.-M.Li}等人,Artif。智力。279,文章ID 103197,23 p.(2020;Zbl 1478.68325) 全文: 内政部 arXiv公司
查、奥龙;宫崎骏小村;藤田宏 \MaxSAT伪布尔约束的(N)级基于模的CNF编码。 (英语) Zbl 1483.68244号 约束条件 24,第2期,133-161(2019).MSC公司:68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Zha}等人,《限制条件24》,第2期,133--161(2019年;Zbl 1483.68244) 全文: 内政部
Abd El-Maksoud,穆尼拉A。;阿雷格阿卜杜拉 范德华登数的新型SAT求解器。 (英语) Zbl 1493.68337号 J.埃及。数学。Soc公司。 27,第22号论文,第10页(2019年).MSC公司:68T20型 11对25 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Abd El-Maksoud}和\textit{A.Abdalla},J.埃及。数学。Soc.27,第22号论文,第10页(2019年;Zbl 1493.68337) 全文: 内政部
帕维尔·苏瑞克 基于时间扩展图的命题编码,用于实现合作路径查找问题的跨越最优解。 (英语) Zbl 1423.68474号 安。数学。Artif公司。智力。 81,编号3-4,329-375(2017).MSC公司:68T20型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{P.Surynek},Ann.数学。Artif公司。智力。81,编号3-4-329-375(2017;兹bl 1423.68474) 全文: 内政部
乔·德弗里安特;巴特·博加特;莫里斯·布吕诺格 对称解释学习:SAT的有效动态对称处理。 (英语) Zbl 1496.68366号 Gaspers,Serge(编辑)等人,《满意度测试的理论和应用——2017年SAT》。第20届国际会议,澳大利亚维多利亚州墨尔本,2017年8月28日至9月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10491, 83-100 (2017).MSC公司:68伏15 68T05型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Devriendt}等人,Lect。注释计算。科学。10491、83--100(2017年;Zbl 1496.68366) 全文: 内政部
鲍里斯·科涅夫;阿列克谢·利西萨 Erdő差异特性的计算机辅助证明。 (英语) Zbl 1344.68205号 Artif公司。智力。 224, 103-118 (2015).MSC公司:第68页第15页 11立方厘米 11千米38 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}和\textit{A.Lisitsa},Artif。智力。224103--118(2015;Zbl 1344.68205) 全文: 内政部 arXiv公司
川江;张婷 CDCL解算器中的部分回溯。 (英语) Zbl 1407.68455号 McMillan,Ken(编辑)等人,《编程逻辑、人工智能和推理》。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8312, 490-502 (2013).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Jiang}和\textit{T.Zhang},Lect。注释计算。科学。8312490--502(2013;Zbl 1407.68455) 全文: 内政部