编辑配置文件(在新选项卡中打开) 佩塔·武克米罗维奇 合著者距离 作者ID: vukmirovic.petar公司 发布日期: 佩塔·武克米罗维奇 已编制索引的文档: 11出版物自2019年起 合著者: 8位合著者具有11联合出版物 188位Co-Co作者 全部的 前5名合著者 0 单作者的 8 亚历山大·本特坎普 8 贾斯敏·克里斯蒂安·布兰切特 7 索菲·托雷特 4 Nummelin,维萨卡 三 西蒙·克鲁恩斯 2 乌韦·沃尔德曼 1 Heule,Marijn J.H。 1 斯蒂芬·舒尔茨 系列 三 自动推理杂志 2 计算机科学中的逻辑方法 1 ACM计算逻辑汇刊 领域 11 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用88中的次51文件 引用人▼ 年份▼ 更快、更高、更强:E 2.3。 Zbl 07178994号 斯蒂芬·舒尔茨;西蒙·克鲁恩斯;佩塔·武克米罗维奇 35 2019 与lambdas重叠。 Zbl 1471.03014号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 13 2019 全高阶逻辑的叠加。 Zbl 1497.03030号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇 12 2021 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin,维萨卡;索菲·托雷特 9 2021 与lambdas重叠。 Zbl 07433023号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 7 2021 与一级布尔的叠加和处理中子句化。 Zbl 07437090号 Nummelin,维萨卡;亚历山大·本特坎普;索菲·托雷特;佩塔·武克米罗维奇 5 2021 高效的全高阶统一。 Zbl 07471678号 佩塔·武克米罗维奇;亚历山大·本特坎普;Nummelin,维萨卡 4 2021 SAT启发的叠加淘汰赛。 Zbl 07650603号 佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule,Marijn J.H。 2 2023 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin,维萨卡;索菲·托雷特 1 2022 叠加的SAT激励抵消。 Zbl 07650603号 佩塔·武克米罗维奇;贾斯敏·布兰切特;Heule,Marijn J.H。 2 2023 使高阶叠加起作用。 Zbl 1512.68432号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin,维萨卡;索菲·托雷特 1 2022 全高阶逻辑的叠加。 Zbl 1497.03030号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇 12 2021 使高阶叠加起作用。 Zbl 1512.68431号 佩塔·武克米罗维奇;亚历山大·本特坎普;贾斯敏·布兰切特;西蒙·克鲁恩斯;Nummelin,维萨卡;索菲·托雷特 9 2021 与lambdas重叠。 Zbl 07433023号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 7 2021 与一级布尔的叠加和处理中子句化。 Zbl 07437090号 Nummelin,维萨卡;亚历山大·本特坎普;索菲·托雷特;佩塔·武克米罗维奇 5 2021 高效的全高阶统一。 Zbl 07471678号 佩塔·武克米罗维奇;亚历山大·本特坎普;Nummelin,维萨卡 4 2021 更快、更高、更强:E 2.3。 Zbl 07178994号 斯蒂芬·舒尔茨;西蒙·克鲁恩斯;佩塔·武克米罗维奇 35 2019 与lambdas重叠。 Zbl 1471.03014号 亚历山大·本特坎普;贾斯敏·布兰切特;索菲·托雷特;佩塔·武克米罗维奇;乌韦·沃尔德曼 13 2019 所有引用出版物 前5名被引用出版物 全部的 前5名72位作者引用 12 贾斯敏·克里斯蒂安·布兰切特 10 索菲·托雷特 9 佩塔·武克米罗维奇 8 亚历山大·本特坎普 6 乌韦·沃尔德曼 5 贾尔斯·里格尔 5 杰夫·萨特克利夫 4 马丁·苏达 三 艾哈迈德·巴亚特 三 玛丽亚·保拉(Maria Paola Bonacina) 三 西蒙·克鲁恩斯 三 Nummelin,维萨卡 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 马丁·德沙奈斯 2 克莱尔·狄克逊 2 格雷斯,伯恩哈德 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 乌尔里希·赫斯塔特 2 科瓦奇,劳拉·伊尔迪科 2 Cláudia Nalon 2 法比奥·帕帕奇尼 2 亚当·皮斯 2 西蒙·罗比拉德 2 亚历山大·斯蒂恩 2 约瑟夫·乌尔班 2 克里斯托夫·韦登巴赫 2 Christoph Wernhard公司 1 菲利普·巴特克 1 迈克尔·比森。 1 沃尔夫冈·比贝尔 1 马丁·布隆伯格 1 乍得·布朗·爱德华 1 克劳迪娅·埃琳娜·奇里 1 卡雷尔·切瓦洛夫斯克 1 安托万·笛福内 1 伊琳娜·德拉古斯特 1 安德烈·杜阿尔特 1 瑞希德·埃哈希德 1 穆纳乔·埃切宁 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 JoséLuiz Fiadeiro 1 马尔顿哈杜 1 汤姆·M·海斯克斯。 1 Heule,Marijn J.H。 1 佩特拉·霍佐娃 1 Jakubův,简 1 米科拉什,雅诺塔 1 Cezary卡利西克 1 迈克尔·基扬(Michael K.Kinyon)。 1 彼得·科普克 1 康斯坦丁·科洛文 1 Krötzsch,马库斯 1 托梅尔·利巴尔 1 安东·洛伦岑 1 迈赫迪·姆哈拉 1 戴尔·艾伦·米勒 1 米罗斯拉夫·奥沙克 1 延斯·奥滕 1 尼古拉斯·佩尔蒂埃 1 Jelle Piepenbrock 1 雅各布·拉特 1 迈克尔·劳森 1 安德斯·施利奇特克鲁尔 1 托拜厄斯·斯科尔 1 斯蒂芬·舒尔茨 1 鲍里斯·施明克(Boris A.Shminke)。 1 尼古拉斯·斯莫尔博内 1 德米特里·特拉泰尔 1 Ţuţu,伊奥努 1 安德烈·沃伦科夫 1 莎拉·温克勒 5篇连载文章中引用 12 自动推理杂志 三 人工智能通信 2 计算机科学中的逻辑方法 1 数学与人工智能年鉴 1 ACM计算逻辑汇刊 在4个字段中引用 51 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 群论与推广(20-XX) 按年份列出的引文