编辑配置文件（在新选项卡中打开） 马蒂亚斯·弗勒里 合著者距离 作者ID: 花椰菜 发布日期： 马蒂亚斯·弗勒里 已编制索引的文档： 16出版物自1998年以来 1名编辑贡献 合著者： 28位合著者具有14份联合出版物 456联合作者 全部的 前5名合著者 2 单作者的 6 贾斯敏·克里斯蒂安·布兰切特 4 阿明·比尔 三 克里斯托夫·韦登巴赫 2 马丁·德沙奈斯 2 彼得·兰米奇 2 德米特里·特拉泰尔 1 哈尼尔·巴博萨 1 朱利安·比恩达拉 1 Böhme，萨沙 1 Bounanos，S。 1 艾默里·布齐 1 马丁·布罗姆伯格 1 蔡少伟 1 帕斯卡尔·方丹 1 马克西米利安·海辛格 1 约翰·Hölzl 1 香塔尔·凯勒 1 昆查尔，Ondřej 1 安德烈亚斯·洛赫比勒 1 费比安·迈尔 1 洛伦茨·帕尼 1 安德烈·波佩斯库 1 汉斯·约尔·舒尔 1 西蒙·施瓦兹 1 斯莫尔卡、斯蒂芬·朱尔夫 1 艾伯特·斯特克迈尔 1 克里斯蒂安·斯特纳格尔 1 勒内，蒂曼 1 张新迪 全部的 前5名系列 三 自动推理杂志 1 数学物理杂志 1 几何与物理杂志 1 系统设计中的形式化方法 1 人工智能研究杂志 1 国际计算机研究杂志 1 理论计算机科学电子论文集（EPTCS） 全部的 前5名领域 14 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 2 粒子和系统力学（70-XX） 2 量子理论（81-XX） 1 总体主题；集合（00-XX） 1 动力系统和遍历理论（37至XX） 1 抽象谐波分析（43至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用57中的次42文件 引用人▼ 年份▼ 机器生成证明的半不可分辨Isar证明。 Zbl 1356.68178号 贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;马蒂亚斯·弗勒里;斯莫尔卡、斯蒂芬·朱尔夫;艾伯特·斯特克迈尔 13 2016 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1448.68457号 贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;彼得·兰米奇;克里斯托夫·韦登巴赫 9 2018 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1475.68432号 贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;克里斯托夫·韦登巴赫 9 2016 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;昆查尔，Ondřej;安德烈亚斯·洛赫比勒;费比安·迈尔;洛伦茨·帕尼;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;勒内，蒂曼;德米特里·特拉泰尔 6 2017 用于公式处理的可扩展细粒度证明。 Zbl 1468.68278号 哈尼尔·巴博萨;贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;帕斯卡尔·方丹 5 2020 在证明助手中可靠地重建细粒度证明。 Zbl 07437094号 汉斯·约尔·舒尔;马蒂亚斯·弗勒里;马丁·德沙奈斯 4 2021 SPASS-SATT公司。CDCL（LA）解算器。 Zbl 07178972号 马丁·布罗姆伯格;马蒂亚斯·弗勒里;西蒙·施瓦兹;克里斯托夫·韦登巴赫 4 2019 Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 兹比尔1434.03025 贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;德米特里·特拉泰尔 三 2017 使用Paracooba进行分布式立方体和征服。 Zbl 07331016号 马克西米利安·海辛格;马蒂亚斯·弗勒里;阿明·比尔 2 2020 通过局部搜索和目标阶段在CDCL中进行更好的决策启发式。 Zbl 07577517号 蔡少伟;张新迪;马蒂亚斯·弗勒里;阿明·比尔 2 2022 外部二次势中Calogero-Moser系统的传播子。 Zbl 0989.37064号 M.弗勒里。 1 1998 通过局部搜索和目标阶段在CDCL中实现更好的决策启发。 Zbl 07577517号 蔡少伟;张新迪;马蒂亚斯·弗勒里;阿明·比尔 2 2022 在证明助手中可靠地重建细粒度证明。 Zbl 07437094号 汉斯·约尔·舒尔;马蒂亚斯·弗勒里;马丁·德沙奈斯 4 2021 用于公式处理的可扩展细粒度证明。 Zbl 1468.68278号 哈尼尔·巴博萨;贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;帕斯卡尔·方丹 5 2020 使用Paracooba进行分布式立方体和征服。 Zbl 07331016号 马克西米利安·海辛格;马蒂亚斯·弗勒里;阿明·比尔 2 2020 SPASS-SATT公司。CDCL（LA）解算器。 Zbl 07178972号 马丁·布罗姆伯格;马蒂亚斯·弗勒里;西蒙·施瓦兹;克里斯托夫·韦登巴赫 4 2019 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1448.68457号 贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;彼得·兰米奇;克里斯托夫·韦登巴赫 9 2018 高阶逻辑的基础（co）数据类型和（co）递归。 Zbl 1495.68238号 朱利安·比恩达拉;贾斯敏·克里斯蒂安·布兰切特;艾默里·布齐;马丁·德沙奈斯;马蒂亚斯·弗勒里;约翰·Hölzl;Kunčar，安大略省;安德烈亚斯·洛赫比勒;费比安·迈尔;洛伦茨·帕尼;安德烈·波佩斯库;克里斯蒂安·斯特纳格尔;勒内，蒂曼;德米特里·特拉泰尔 6 2017 Isabelle/HOL中的嵌套多集、遗传多集和句法序数。 Zbl 1434.03025号 贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;德米特里·特拉泰尔 三 2017 机器生成证明的半不可分辨Isar证明。 Zbl 1356.68178号 贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;马蒂亚斯·弗勒里;斯莫尔卡、斯蒂芬·朱尔夫;艾伯特·斯特克迈尔 13 2016 一个经过验证的SAT求解器框架，具有学习、遗忘、重启和增量功能。 Zbl 1475.68432号 贾斯敏·克里斯蒂安·布兰切特;马蒂亚斯·弗勒里;克里斯托夫·韦登巴赫 9 2016 外部二次势中Calogero-Moser系统的传播子。 兹比尔0989.37064 M.弗勒里。 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名88位作者引用 10 贾斯敏·克里斯蒂安·布兰切特 6 马蒂亚斯·弗勒里 5 克里斯托夫·韦登巴赫 三 马丁·布罗姆伯格 三 Heule，Marijn J.H。 三 塞萨里·卡利西克 三 安德斯·施利奇特克鲁尔 三 德米特里·特拉泰尔 2 Seulkee Baek先生 2 哈尼尔·巴博萨 2 亚历山大·本特坎普 2 蔡少伟 2 马丁·德沙奈斯 2 帕斯卡尔·方丹 2 迪特里赫·克拉科夫 2 彼得·拉姆米奇 2 李伯翰 2 托比亚斯·尼普科 2 安德烈·波佩斯库 2 彼得·桑德斯 2 多米尼克·施赖伯 2 汉斯·约尔·舒尔 2 张新迪 1 杰里米·阿维加德 1 克拉克·W·巴雷特。 1 托马斯·博埃里 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 玛丽亚·保拉（Maria Paola Bonacina） 1 瑟·特凡·乔巴赫 1 库卡斯·扎伊卡 1 Jose Divasón 1 伊琳娜·德拉古斯特 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 洛伦佐·盖里 1 拉杰夫·普拉巴卡尔·戈尔 1 圣菲省格拉汉·伦格兰德 1 大卫·格林纳韦 1 马克西米利安·哈斯贝克。 1 弗雷德里克·赫布雷托 1 西蒙·胡登 1 亨特，沃伦·琼。 1 维奥雷尔·奥尔达奇 1 Jakubův，简 1 贾尼契奇，普雷德拉格 1 Joosten，Sebastian J.C。 1 马特·考夫曼 1 尼古拉·克劳斯 1 基里恩·克莱默 1 马库斯·科洛奇 1 丹尼尔·库尔温 1 米贾·库尔琴斯基 1 汉娜·拉奇尼特 1 洛伦兹·勒特盖布 1 詹·亨德里克·洛伦茨 1 凯文·洛茨 1 丹尼尔·马提库克 1 朱利叶斯·迈克利斯 1 阿尔贝托·莫米利亚诺 1 朱利安·纳布克斯 1 艾娜·尼梅茨 1 弗雷德里克·诺德瓦尔·福斯伯格 1 安德烈斯·诺兹利 1 德克·诺沃特卡 1 亚历克斯·奥兹德米尔 1 阿曼多·佩森提·格里蒂 1 碧姬·品特卡 1 Damien Pous 1 马蒂亚斯·普雷纳 1 佛朗哥·雷蒙迪 1 安德鲁·雷诺兹 1 戴维·桑吉奥吉 1 Natarajan Shankar 1 大卫·希伯多 1 勒内，蒂曼 1 塞萨尔·蒂内利 1 约瑟夫·乌尔班 1 范德波尔，扬·科内利斯 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 乌韦·沃尔德曼 1 内森·韦兹勒。 1 西蒙·威默 1 弗洛里安·沃兹 1 吴敏超 1 徐创杰 1 Akihisa山田 1 尤尼·佐哈尔 全部的 前5名7篇连载文章中引用 13 自动推理杂志 1 理论计算机科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 计算机科学中的逻辑方法 在4个字段中引用 38 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 按年份列出的引文