×

找到27个文档(结果1-27)

云中可扩展的SAT解决方案。 (英语) Zbl 07495595号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 518-534 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

利用GPU在并行SAT解决中实现有效的子句共享。 (英语) Zbl 07495592号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 471-487 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

布尔布伦特方程的异或局部搜索。 (英语) Zbl 07495589号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 417-435 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

这个合并卫星解算器。 (英语) Zbl 07495587号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 387-398 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高效的所有UIP习得的子句最小化。 (英语) Zbl 07495572号

Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12831, 171-187 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

十阶射影平面中椭圆的不存在证明。 (英语) Zbl 07601001号

Gńsieniec,Leszek(编辑)等人,《组合算法》。第31届国际研讨会,IWOCA 2020,法国波尔多,2020年6月8日至10日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。12126, 97-111 (2020).
MSC公司:68卢比 68瓦xx
PDF格式BibTeX公司 XML格式引用

迈谢尔斯基图表和公关证明。 (英语) Zbl 07331022号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 201-217 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

通过提升简化并改进了常规分辨率和常规分辨率之间的分离。 (英语) Zbl 07331021号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 182-200 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

改进2017-2019年SAT竞赛优胜者的实施。 (英语) Zbl 07331018号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 139-148 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可重复的高效并行SAT求解。 (英语) Zbl 07331017号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 123-138 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于并行SAT求解的基于社区和LBD的子句共享策略。 (英语) Zbl 07331009号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 11-27 (2020).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

作为条件自给自足的真理赋值。 (英语) Zbl 1437.68132号

Chen,Yu-Fang(编辑)等,验证和分析自动化技术。2019年10月28日至31日,第17届国际研讨会,ATVA 2019,台湾台北。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11781, 48-64 (2019).
MSC公司:68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

合并变量:伪布尔优化中的一种搜索技术。 (英语) Zbl 1429.90100号

Bykadorov,Igor(编辑)等人,《数学优化理论和运筹学》。2019年7月8日至12日在俄罗斯叶卡捷琳堡举行的2019年汽车展第18届国际会议。修订了选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1090, 86-102 (2019).
MSC公司:90 C59
PDF格式BibTeX公司 XML格式引用

关于有限集合中对象可区分性的命题编码技术。 (俄语。英文摘要) Zbl 1425.94047号

MSC公司:94A60型 94立方厘米10 05B15号 68卢比
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

用于并行#SAT求解的自由缓存。 (英语) Zbl 1471.68175号

Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340,46-61(2015年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

出版年份

全部的 前3名

软件