×

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

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

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

CDCL SAT求解器的更紧密模型中时间和内存之间的权衡。 (英语) Zbl 1475.68343号

Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9710, 160-176 (2016).
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

主字段