安德烈亚斯·尼斯卡宁;杰里·穆斯托宁;杰里米亚斯·伯格;马蒂·Järvisalo 计算量化布尔公式的最小MUS。 (英语) Zbl 07671896号 Gottlob,Georg(编辑)等人,《逻辑编程和非单调推理》。第16届国际会议,LPNMR 2022,意大利热那亚,2022年9月5日至9日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13416, 301-314 (2022).MSC公司:68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Niskanen}等人,Lect。注释计算。科学。13416,301-314(2022;Zbl 07671896) 全文: 内政部
雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾丁·戈尔(Ebru Aydin Gol);伊万娜·乔纳 通过模型检查进行时间自动机稳健性分析。 (英语) Zbl 07577576号 日志。方法计算。科学。 18,第3号,第12号论文,32页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}等人,《日志》。方法计算。科学。18,第3号,第12号论文,32页(2022;Zbl 07577576) 全文: arXiv公司 链接
雅罗斯拉夫·本迪克;Kuldeep S.梅尔。 计算最小不可满足子集。 (英语) 兹比尔1493.68259 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 313-336 (2021).MSC公司:68兰特 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{J.Bendík}和\textit{k.S.Meel},莱克特。注释计算。科学。12760313--336(2021年;Zbl 1493.68259) 全文: 内政部
阿列克谢·伊格纳提耶夫;若昂·西尔瓦侯爵 基于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公司
张建民;李铁军;马可凡 通过最小不可满足核提取加速谓词抽象。 (英语) 兹比尔1481.68032 何坤(编辑)等,《理论计算机科学》。2020年11月13日至15日,中国南宁,NCTCS 2020第38届全国会议。修订了选定的论文。新加坡:斯普林格。Commun公司。计算。信息科学。1352, 3-13 (2021).MSC公司:60年第68季度 03B70号 2007年7月68日 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}等人,Commun。计算。信息科学。1352年3月13日(2021年;Zbl 1481.68032) 全文: 内政部
米盖尔·安霍斯(Miguel F.Anjos)。;曼努埃尔·V·C·维埃拉。 关于半定最小二乘和最小不满足性。 (英语) Zbl 1364.90243号 离散应用程序。数学。 217,第2部分,79-96(2017).MSC公司:90C22型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Anjos}和\textit{M.V.C.Vieira},离散应用。数学。217,第2部分,79--96(2017;Zbl 1364.90243) 全文: 内政部
阿列克谢·伊格纳提耶夫;米科拉什·亚诺塔;若昂·西尔瓦侯爵 量化最大可满足性。 (英语) Zbl 1334.90075号 约束条件 21,第2期,277-302(2016).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,《约束21》,第2期,277--302(2016;Zbl 1334.90075) 全文: 内政部
亚历山大·伊夫里;沙拉德·马利克;Kuldeep S.梅尔。;莫舍·瓦尔迪。 关于计算最小独立支持度及其在采样和计数中的应用。 (英语) 兹比尔1334.90146 约束条件 21,第1期,41-58(2016).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ivrii}等人,《约束条件21》,第1号,41-58(2016年;Zbl 1334.90146) 全文: 内政部 链接
阿列克谢·伊格纳提耶夫;亚历山德罗·普雷维蒂;若昂·西尔瓦侯爵 基于SAT的公式简化。 (英语) Zbl 1471.68245号 Heule,Marijn(编辑)等人,《满意度测试的理论和应用——SAT 2015》。第18届国际会议,美国德克萨斯州奥斯汀,2015年9月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9340, 287-298 (2015).MSC公司:68T20型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,Lect。注释计算。科学。9340287--298(2015年;Zbl 1471.68245) 全文: 内政部
亚历山大·纳德尔;瓦迪姆·里夫钦;斯特里赫曼(Ofer Strichman) 加速基于删除的最小不合格岩芯提取。 (英语) Zbl 1484.68223号 J.满意。布尔模型。计算。 9(2014-2016), 27-51 (2014).MSC公司:68T20型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Nadel}等人,J.Satisf。布尔模型。计算。9、27——51(2014;Zbl 1484.68223) 全文: 内政部
凯文·麦克阿雷维;刘伟如;保罗·米勒 用于发现和测量任意知识库中不一致性的计算方法。 (英语) Zbl 1309.68181号 国际J近似推理 55,第8期,1659-1693(2014). 审核人:Neli Zlatareva(新不列颠,康涅狄格州) MSC公司:68层35 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{K.McAreavey}等人,《国际近似推理》55,第8期,1659--1693(2014;Zbl 1309.68181) 全文: 内政部
瓦迪姆·里夫钦;斯特里赫曼(Ofer Strichman) 快速提取高水平最小不可满足岩芯。 (英语) 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格式引用 \textit{V.Ryvchin}和\textit{O.Strichman},Lect。注释计算。科学。6695174-187(2011年;Zbl 1331.68211) 全文: 内政部