哈拉,简;Jakubův,简;米科拉什·亚诺塔;卢卡什库贝 SMT解算器的目标配置。 (英语) Zbl 07691304号 Buzzard,Kevin(编辑)等人,《智能计算机数学》。2022年9月19日至23日,第15届国际会议,CICM 2022,格鲁吉亚第比利斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13467, 256-271 (2022).MSC公司:68伏xx PDF格式BibTeX公司 XML格式引用 \textit{J.Hůla}等人,Lect。注释计算。科学。13467256-271(2022;Zbl 07691304) 全文: 内政部
米科拉什·亚诺塔 关于Q分辨率和CDCL QBF求解。 (英语) 兹比尔1475.68440 Creignou,Nadia(编辑)等人,《满意度测试的理论和应用——2016年SAT》。第19届国际会议,法国波尔多,2016年7月5-8日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9710, 402-418 (2016).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota},莱克特。注释计算。科学。9710、402--418(2016;Zbl 1475.68440) 全文: 内政部
阿列克谢·伊格纳提耶夫;米科拉什·亚诺塔;若昂·西尔瓦侯爵 量化最大可满足性。 (英语) Zbl 1334.90075号 约束条件 21,第2期,277-302(2016).MSC公司:90C09型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ignatiev}等人,《约束21》,第2期,277--302(2016;Zbl 1334.90075) 全文: 内政部
米科拉什·亚诺塔;威廉·克里伯;若昂·西尔瓦侯爵;埃德蒙·克拉克 用反例引导精化求解QBF。 (英语) Zbl 1351.68254号 Artif公司。智力。 234, 1-25 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人,Artif。智力。234,1--25(2016;Zbl 1351.68254) 全文: 内政部
米科拉什·亚诺塔;若昂·西尔瓦侯爵 基于扩展的QBF求解与Q分辨率。 (英语) Zbl 1309.68168号 西奥。计算。科学。 577,25-42(2015).MSC公司:68吨15 03B35型 20层03 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}和\textit{J.Marques-Silva},Theor。计算。科学。577,25-42(2015年;兹bl 1309.68168) 全文: 内政部
米科拉什·亚诺塔;若昂·西尔瓦侯爵 基于抽象的2QBF算法。 (英语) Zbl 1330.68115号 Sakallah,Karem A.(编辑)等人,《可满足性测试的理论和应用——2011年SAT》。2011年6月19-22日在美国密歇根州安阿伯举行的2011年第14届国际SAT会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21580-3/pbk)。计算机科学讲座笔记6695,230-244(2011)。MSC公司:65年第68季度 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}和\textit{J.Marques-Silva},莱克特。注释计算。科学。6695,230-244(2011;Zbl 1330.68115) 全文: 内政部