×

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

计算量化布尔公式的最小MUS。 (英语) Zbl 07671896号

Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 301-314 (2022).
MSC公司:68N17号 68T27型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

计算最小不可满足子集。 (英语) 兹比尔1493.68259

Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 313-336 (2021).
MSC公司:68兰特 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

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

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

通过最小不可满足核提取加速谓词抽象。 (英语) 兹比尔1481.68032

何坤(编辑)等,《理论计算机科学》。2020年11月13日至15日,中国南宁,NCTCS 2020第38届全国会议。修订了选定的论文。新加坡:斯普林格。Commun公司。计算。信息科学。1352, 3-13 (2021).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于SAT的公式简化。 (英语) Zbl 1471.68245号

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

快速提取高水平最小不可满足岩芯。 (英语) Zbl 1331.68211号

Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695174-187(2011)。
MSC公司:68T20型 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段