×

找到20个文档(结果1–20)

学习传播完整公式。 (英语) Zbl 1522.68468号

Schaus,Pierre(编辑),约束编程、人工智能和运筹学的集成。第19届国际会议,CPAIOR 2022,美国加利福尼亚州洛杉矶,2022年6月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13292214-231(2022年)。
MSC公司:68T05型 68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

通过增量SAT镜头评估SAT求解器的进展。 (英语) Zbl 07495580号

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

基于SAT的决策列表的严格解释。 (英语) Zbl 07495578号

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

CDCL与SAT本地搜索的深度合作。 (英语) Zbl 07495566号

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

对称解释学习:SAT的有效动态对称处理。 (英语) Zbl 1496.68366号

Gaspers,Serge(编辑)等人,《满意度测试的理论和应用——2017年SAT》。第20届国际会议,澳大利亚维多利亚州墨尔本,2017年8月28日至9月1日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10491, 83-100 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

CDCL解算器中的部分回溯。 (英语) Zbl 1407.68455号

McMillan,Ken(编辑)等人,《编程逻辑、人工智能和推理》。第19届国际会议,LPAR-19,南非斯特伦博什,2013年12月14-19日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8312, 490-502 (2013).
MSC公司:68T20型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份