编辑配置文件（在新选项卡中打开） Jakubův，简 合著者距离 作者ID： 雅库布夫詹 发布日期： Jakubův，简;Jan Jakubuv公司 外部链接： ORCID公司 已编制索引的文档： 16出版物自2016年起 合著者： 11位合著者具有16份联合出版物 179位Co-Co作者 全部的 前5名合著者 0 单一作者 12 约瑟夫·乌尔班 4 卡雷尔·奇瓦洛夫斯克 三 查拉图斯特拉·阿马德乌斯·戈泽尔 三 塞萨里·卡利西克 三 米罗斯拉夫·奥沙克 2 马丁·苏达 1 哈拉，简 1 米科拉什·亚诺塔 1 卢卡什库贝 1 巴托斯·彼得罗夫斯基 1 斯蒂芬·舒尔茨 系列 1 人工智能通信 1 计算机科学中的数学 领域 16 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用73中的次29文件 引用人▼ 年份▼ ENIGMA-NG：针对E。 Zbl 07178977号 卡雷尔·奇瓦洛夫斯克;Jakubův，简;马丁·苏达;约瑟夫·乌尔班 15 2019 ENIGMA：高效的基于学习的推理引导机。 Zbl 1367.68249号 Jakubův，简;约瑟夫·乌尔班 14 2017 ENIGMA anonymous：符号相关推理引导机（系统描述）。 Zbl 07614690号 Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 12 2020 加强ENIGMA给出的子句指导。 Zbl 1417.68184号 Jakubův，简;约瑟夫·乌尔班 8 2018 定理证明策略的分层发明。 Zbl 1462.68213号 Jakubův，简;约瑟夫·乌尔班 8 2018 ENIGMAWatch：ProofWatch遇到了ENIGMA。 Zbl 1435.68370号 查拉图斯特拉·戈泽尔;Jakubův，简;约瑟夫·乌尔班 5 2019 观察证据：E。 Zbl 1435.68369号 查拉图斯特拉·戈策尔;Jakubův，简;斯蒂芬·舒尔茨;约瑟夫·乌尔班 三 2018 通过学习小句指导（短文）打击Mizar。 Zbl 07649983号 Jan Jakubuv公司;约瑟夫·乌尔班 三 2019 使用基于相似性的子句选择策略扩展E证明程序。 Zbl 1347.68303号 Jakubův，简;约瑟夫·乌尔班 2 2016 第一个神经推测数据集和实验。 Zbl 1455.68261号 约瑟夫·乌尔班;Jakubův，简 2 2020 实现基于叠加的自动推理的统一排序。 Zbl 1395.68248号 Jan Jakubuv公司;塞萨里·卡利西克 1 2018 ENIGMA anonymous：符号相关推理引导机（系统描述）。 Zbl 07614690号 Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 12 2020 第一个神经推测数据集和实验。 Zbl 1455.68261号 约瑟夫·乌尔班;Jakubův，简 2 2020 ENIGMA-NG：针对E。 Zbl 07178977号 卡雷尔·奇瓦洛夫斯克;Jakubův，简;马丁·苏达;约瑟夫·乌尔班 15 2019 ENIGMAWatch：ProofWatch遇到了ENIGMA。 Zbl 1435.68370号 查拉图斯特拉·戈泽尔;Jakubův，简;约瑟夫·乌尔班 5 2019 通过学习小句指导（短文）打击Mizar。 Zbl 07649983号 Jan Jakubuv公司;约瑟夫·乌尔班 三 2019 加强ENIGMA给出的子句指导。 Zbl 1417.68184号 Jakubův，简;约瑟夫·乌尔班 8 2018 定理证明策略的分层发明。 Zbl 1462.68213号 Jakubův，简;约瑟夫·乌尔班 8 2018 观察证据：E。 Zbl 1435.68369号 查拉图斯特拉·戈泽尔;Jakubův，简;斯蒂芬·舒尔茨;约瑟夫·乌尔班 三 2018 实现基于叠加的自动推理的统一排序。 Zbl 1395.68248号 Jan Jakubuv公司;塞萨里·卡利西克 1 2018 ENIGMA：高效的基于学习的推理引导机。 Zbl 1367.68249号 Jakubův，简;约瑟夫·乌尔班 14 2017 使用基于相似性的子句选择策略扩展E证明程序。 Zbl 1347.68303号 Jakubův，简;约瑟夫·乌尔班 2 2016 所有引用出版物 前5名被引用出版物 全部的 前5名46位作者引用 13 约瑟夫·乌尔班 8 Jakubův，简 6 米罗斯拉夫·奥沙克 6 马丁·苏达 5 塞萨里·卡利西克 4 卡雷尔·奇瓦洛夫斯克 三 佐姆博里，兹索尔特 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 米科拉什·亚诺塔 2 巴托斯·彼得罗夫斯基 2 杰夫·萨特克利夫 1 菲利普·巴特克 1 沃尔夫冈·比贝尔 1 拉斯·布劳布罗克 1 乍得·布朗·爱德华 1 曹、冯 1 乔恩ỳ, 普罗科普 1 陈树伟 1 西蒙·克鲁恩斯 1 阿德里安·西萨里克 1 迈克尔·Färber 1 Thibault Gauthier 1 格雷斯，伯恩哈德 1 汤姆·M·海斯克斯。 1 布里兰·希塔吉 1 哈拉，简 1 卢卡什库贝 1 刘培瑶 1 雅罗斯拉夫·麦克 1 米查勒夫斯基（Michalewski）、亨利克（Henryk） 1 萨姆·奥雷 1 Jelle Piepenbrock 1 梅纳·奎梅纳 1 马库斯·拉贝。 1 迈克尔·劳森 1 贾尔斯·里格尔 1 斯蒂芬·舒尔茨 1 Sedlář，吉里耶 1 Natarajan Shankar 1 约瑟夫·西维奇 1 克里斯蒂安·塞格迪 1 佩塔·武克米罗维奇 1 Christoph Wernhard公司 1 吴冠峰 1 是的，埃里克 1 张，廖 5篇连载文章中引用 2 AI通信 1 信息科学 1 自动推理杂志 1 国际近似推理杂志 1 计算机科学中的数学 在5个字段中引用 29 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文