米科拉什·亚诺塔；安托尼奥·莫尔加多；沃伊特·乔夫斯克，皮特 计算有限代数中最小规模的生成集。 （英语） Zbl 1520.20128号 J.塞姆。计算。 119, 50-63 (2023). 审核人：Yuval Filmus（海法） MSC公司：20号05 65年第68季度 20-08 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}等人，J.Symb。计算。119、50-63（2023；Zbl 1520.20128） 全文： 内政部
米科拉什·亚诺塔 关于Q分辨率和CDCL QBF求解。 （英语） Zbl 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｝等人，人工制品。智力。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年；Zbl 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） 全文： 内政部