编辑配置文件（在新选项卡中打开） 索菲·托雷特 合著者距离 作者ID： 托雷特·索菲 发布日期： 索菲·托雷特 已编制索引的文档： 22出版物自2014年起 合著者： 22合著者具有22联合出版物 431位联合作者 全部的 前5名合著者 0 单作者的 11 贾斯敏·克里斯蒂安·布兰切特 7 亚历山大·本特坎普 7 佩塔·武克米罗维奇 4 乌韦·沃尔德曼 三 安德鲁·克洛珀 三 穆纳乔·埃切宁 三 Nummelin，维萨卡 三 尼古拉斯·佩尔蒂埃 三 克里斯托夫·韦登巴赫 2 西蒙·克鲁恩斯 2 加布里埃尔·埃布纳 2 法贾尔·海法尼 2 西蒙·罗比拉德 1 多梅尼科·博尔扎奇埃罗 1 弗朗西斯科·切妮斯塔 1 马克西姆·福舍特 1 井上，胜美 1 帕特里克·科普曼 1 摩根·马根 1 邱、齐 1 托尼·里贝罗 1 奥利维尔·鲁克斯。 系列 6 自动推理杂志 1 机器学习 1 人工智能研究杂志 领域 22 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 17出版物有被引用104中的次56文件 引用人▼ 年份▼ 饱和定理证明的综合框架。 Zbl 1512.68433号 乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特 24 2020 与lambdas重叠。 Zbl 1471.03014号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 14 2019 全高阶逻辑的叠加。 Zbl 1497.03030号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇 13 2021 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 11 2021 与lambdas重叠。 兹伯利07433023 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 7 2021 元解释学习中元规则的推导简化。 Zbl 1455.68162号 安德鲁·克洛珀;索菲·托雷特 5 2018 统一的拆分框架。 Zbl 07437088号 加布里埃尔·埃布纳;贾斯敏·布兰切特;索菲·托雷特 5 2021 与一级布尔的叠加和处理中子句化。 Zbl 07437090号 Nummelin，维萨卡;亚历山大·本特坎普;索菲·托雷特;佩塔·武克米罗维奇 5 2021 SOS解决方案的广义完整性及其应用于新的相关性概念。 Zbl 07437087号 法贾尔·海法尼;索菲·托雷特;克里斯托夫·韦登巴赫 4 2021 连续域上状态转换的归纳学习。 Zbl 1455.68180号 托尼·里贝罗;索菲·托雷特;马克西姆·福舍特;摩根·马根;多梅尼科·博尔扎奇埃罗;弗朗西斯科·切妮斯塔;鲁克斯，奥利维尔;井上，胜美 三 2018 元规则的逻辑简化。 Zbl 1518.68038号 安德鲁·克洛珀;索菲·托雷特 三 2020 在等式逻辑中生成素数蕴涵的重写策略。 Zbl 1423.68412号 穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃;索菲·托雷特 2 2014 二阶Horn碎片的SLD分辨率降低。 Zbl 1525.68012号 索菲·托雷特;安德鲁·克洛珀 2 2019 饱和定理证明的综合框架。 Zbl 1512.68434号 乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特 2 2022 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 2 2022 无量词方程逻辑和素数蕴涵生成。 Zbl 1465.68280号 穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃;索菲·托雷特 1 2015 高阶逻辑的叠加。 Zbl 07695713号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇 1 2023 高阶逻辑的叠加。 Zbl 07695713号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇 1 2023 饱和定理证明的综合框架。 Zbl 1512.68434号 乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特 2 2022 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 2 2022 全高阶逻辑的叠加。 Zbl 1497.03030号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇 13 2021 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin，维萨卡;索菲·托雷特 11 2021 与lambdas重叠。 兹伯利07433023 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 7 2021 统一的拆分框架。 Zbl 07437088号 加布里埃尔·埃布纳;贾斯敏·布兰切特;索菲·托雷特 5 2021 与一级布尔的叠加和处理中子句化。 Zbl 07437090号 Nummelin，维萨卡;亚历山大·本特坎普;索菲·托雷特;佩塔·武克米罗维奇 5 2021 SOS解决方案的广义完整性及其应用于新的相关性概念。 Zbl 07437087号 法贾尔·海法尼;索菲·托雷特;克里斯托夫·韦登巴赫 4 2021 饱和定理证明的综合框架。 Zbl 1512.68433号 乌韦·沃尔德曼;索菲·托雷特;西蒙·罗比拉德;贾斯敏·布兰切特 24 2020 元规则的逻辑简化。 Zbl 1518.68038号 安德鲁·克洛珀;索菲·托雷特 三 2020 与lambdas重叠。 Zbl 1471.03014号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 14 2019 二阶Horn碎片的SLD分辨率降低。 Zbl 1525.68012号 索菲·托雷特;安德鲁·克洛珀 2 2019 元解释学习中元规则的推导简化。 Zbl 1455.68162号 安德鲁·克洛珀;索菲·托雷特 5 2018 连续域上状态转换的归纳学习。 Zbl 1455.68180号 托尼·里贝罗;索菲·托雷特;马克西姆·福舍特;摩根·马根;多梅尼科·博尔扎奇埃罗;弗朗西斯科·切妮斯塔;鲁克斯，奥利维尔;井上，胜美 三 2018 无量词方程逻辑和素数蕴涵生成。 Zbl 1465.68280号 穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃;索菲·托雷特 1 2015 在等式逻辑中生成素数蕴涵的重写策略。 Zbl 1423.68412号 穆纳乔·埃切宁;尼古拉斯·佩尔蒂埃;索菲·托雷特 2 2014 所有引用出版物 排名前五的出版物 全部的 前5名被61位作者引用 16 贾斯敏·克里斯蒂安·布兰切特 16 索菲·托雷特 9 佩塔·武克米罗维奇 8 亚历山大·本特坎普 7 克里斯托夫·韦登巴赫 6 安德鲁·克洛珀 6 乌韦·沃尔德曼 5 杰夫·萨特克利夫 4 艾哈迈德·巴亚特 4 史蒂芬·H·马格尔顿。 4 Nummelin，维萨卡 三 西蒙·克鲁恩斯 三 马丁·德沙奈斯 三 安德烈·杜阿尔特 三 康斯坦丁·科洛文 三 贾尔斯·里格尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 玛丽亚·保拉（Maria Paola Bonacina） 2 马丁·布隆伯格 2 乍得·布朗·爱德华 2 加布里埃尔·埃布纳 2 穆纳乔·埃切宁 2 法贾尔·海法尼 2 亨德里克·莱丁格 2 罗尔夫·莫雷尔 2 南卡罗来纳州帕桑齐斯。 2 尼古拉斯·佩尔蒂埃 2 西蒙·罗比拉德 2 亚历山大·斯蒂恩 1 迈克尔·贝恩（Michael E.Bain）。 1 迈克尔·比森。 1 Sander R.Dahmen。 1 安托万·笛福内 1 塞巴斯蒂安杜曼奇奇 1 马克西姆·福舍特 1 何塞·埃尔南德斯·奥拉罗 1 Heule，Marijn J.H。 1 塞琳·霍克特 1 井上，胜美 1 查亚特·贾恩 1 塞萨里·卡利西克 1 迈克尔·基扬（Michael K.Kinyon）。 1 科利，普希米特 1 帕特里克·科普曼 1 法律，Mark M。 1 摩根·马根 1 亚当·皮斯 1 邱、齐 1 托尼·里贝罗 1 安德斯·施利奇克鲁尔 1 雷娜特·施密特（Renate A.Schmidt）。 1 约翰·肖斯·沃尔（Johannes Schoisswohl） 1 托拜厄斯·斯科尔 1 马雷克·塞尔戈特。 1 阿什温·斯里尼瓦桑 1 奥尔勒·托尔斯滕森 1 德米特里·特拉泰尔 1 约瑟夫·乌尔班 1 Tjark韦伯 1 约翰内斯·韦尔布尔 1 郑森 全部的 前5名6篇连载文章中引用 13 自动推理杂志 10 机器学习 三 AI通信 2 计算机科学中的逻辑方法 1 人工智能 1 ACM计算逻辑事务 在3个字段中引用 56 计算机科学（68至XX） 19 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 按年份列出的引文