编辑配置文件（在新选项卡中打开） 菲利普·马里奇 合著者距离 作者ID： 马里克·菲利普 发布日期： 菲利普·马里奇 外部链接： MGP公司 已编制索引的文档： 20出版物自2004年起 合著者： 15位合著者具有15份联合出版物 52位合作作者 全部的 前5名合著者 5 单作者的 6 贾尼契奇，普雷德拉格 2 班科维奇，米兰 2 马尔科·马利科维奇 1 皮埃尔·布特里 1 伊凡·德雷村 1 韦斯纳·马林科维奇 1 达尼耶拉·彼得罗维奇 1 达尼耶拉·西米奇 1 米尔科·斯帕西奇 1 米尔科·斯托贾迪诺维奇 1 Šukilović，蒂贾纳 1 杜珊·D·托什奇。 1 瓦奇科维奇，博扬 1 武约舍维奇-贾尼奇，米莱纳 1 朱伊夫科维奇，米奥德拉格五世。 全部的 前5名系列 三 自动推理杂志 三 计算机科学中的逻辑方法 2 数学与人工智能年鉴 1 理论计算机科学 1 计算几何 1 尤约。南斯拉夫运筹学杂志 1 约束条件 1 Informatica（维尔纽斯） 全部的 前5名领域 17 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 几何图形（51至XX） 2 凸和离散几何（52至XX） 2 运筹学、数学规划（90-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用74中的次53文件 引用人▼ 年份▼ 通过浅层嵌入Isabelle/HOL对现代SAT解算器进行形式化验证。 Zbl 1208.68205号 菲利普·马里奇 20 2010 现代SAT求解器的形式化和实现。 Zbl 1187.68557号 菲利普·马里奇 13 2009 将Frankl猜想形式化：FC-家族。 Zbl 1360.68758号 菲利普·马里奇;米奥德拉格·伊夫科维奇;瓦奇科维奇，博扬 8 2012 meSAT：CSP到SAT的多重编码。 Zbl 1316.90049号 米尔科·斯托贾迪诺维奇;菲利普·马里奇 6 2014 SAT抽象状态转移系统的形式化。 Zbl 1237.68179号 菲利普·马里奇;贾尼契奇，普雷德拉格 5 2011 通过逐步细化的增量单纯形算法的形式化。 Zbl 1372.68068号 米尔科·斯帕西奇;菲利普·马里奇 4 2012 URBiVA：位向量算法的统一约简。 Zbl 1291.68361号 菲利普·马里奇;贾尼契奇，普雷德拉格 4 2010 形式化复杂平面几何。 Zbl 1330.68264号 菲利普·马里奇;达尼耶拉·彼得罗维奇 4 2015 至多6点凸多边形的Erdős-Szekeres猜想的快速形式证明。 Zbl 1468.68302号 菲利普·马里奇 4 2019 DPLL过程的形式正确性证明。 Zbl 1209.68514号 菲利普·马里奇;Janičić，普雷德拉格 2 2010 验证Faradíev-Read型无同构穷举生成。 Zbl 07614675号 菲利普·马里奇 2 2020 双曲几何庞加莱圆盘模型的形式化。 Zbl 07356967号 达尼耶拉·西米奇;菲利普·马里奇;皮埃尔·布特里 1 2021 交互式定理证明综述。 Zbl 07715474号 菲利普·马里奇 1 2015 双曲几何庞加莱圆盘模型的形式化。 Zbl 07356967号 达尼耶拉·西米奇;菲利普·马里奇;皮埃尔·布特里 1 2021 验证Faradžev Read类型的无同构穷举生成。 Zbl 07614675号 菲利普·马里奇 2 2020 至多6点凸多边形的Erdős-Szekeres猜想的快速形式证明。 Zbl 1468.68302号 菲利普·马里奇 4 2019 形式化复杂平面几何。 Zbl 1330.68264号 菲利普·马里奇;达尼耶拉·彼得罗维奇 4 2015 交互式定理证明综述。 Zbl 07715474号 菲利普·马里奇 1 2015 meSAT：CSP到SAT的多重编码。 Zbl 1316.90049号 米尔科·斯托贾迪诺维奇;菲利普·马里奇 6 2014 将Frankl猜想形式化：FC-家族。 Zbl 1360.68758号 菲利普·马里奇;米奥德拉格·伊夫科维奇;瓦奇科维奇，博扬 8 2012 通过逐步细化的增量单纯形算法的形式化。 Zbl 1372.68068号 米尔科·斯帕西奇;菲利普·马里奇 4 2012 SAT抽象状态转移系统的形式化。 Zbl 1237.68179号 菲利普·马里奇;贾尼契奇，普雷德拉格 5 2011 通过浅层嵌入Isabelle/HOL对现代SAT解算器进行形式化验证。 Zbl 1208.68205号 菲利普·马里奇 20 2010 URBiVA：位向量算法的统一约简。 Zbl 1291.68361号 菲利普·马里奇;贾尼契奇，普雷德拉格 4 2010 DPLL过程的形式正确性证明。 Zbl 1209.68514号 菲利普·马里奇;Janičić，普雷德拉格 2 2010 现代SAT求解器的形式化和实现。 Zbl 1187.68557号 菲利普·马里奇 13 2009 所有引用的出版物 前5名被引用出版物 全部的 前5名98位作者引用 9 菲利普·马里奇 4 泽维尔·阿拉米根 4 Heule，Marijn J.H。 4 里卡多·戴维·卡茨 三 班科维奇，米兰 三 皮埃尔·布特里 三 彼得·兰米奇 三 玛格努斯·O·米琳。 2 Seulkee Baek先生 2 贾斯敏·克里斯蒂安·布兰切特 2 马蒂亚斯·弗勒里 2 贾尼契奇，普雷德拉格 2 安德烈亚斯·洛赫比勒 2 韦斯纳·马林科维奇 2 朱利安·纳布克斯 2 Peter W.南丁格尔。 2 Oe，达克基 2 乔纳德·普拉杰 2 曼弗雷德·舒彻 2 Pierre-Yves支柱 2 阿伦·斯塔姆 2 克里斯托夫·韦登巴赫 1 阿坤、奥祖尔 1 阿隆索-吉梅内斯，何塞·安东尼奥 1 罗伯托·阿马迪尼 1 罗布·D·阿尔森。 1 乌尔里希·伯杰 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 博雷戈·迪亚斯（Borrego-Díaz，Joaquín） 1 费利克斯·勃兰特 1 加布里埃尔·布劳恩 1 海宁·布鲁恩 1 卢卡斯·布尔瓦恩 1 瑟·特凡·乔巴赫 1 凯文·克兰西 1 普拉蒂斯·达塔 1 贾里德·戴维斯 1 伊凡·德雷村 1 拉塔·杜塔 1 艾伦·M·弗里希。 1 毛里齐奥·加布里埃利 1 伊恩·菲利普·根特 1 伊琳娜·格里巴诺娃 1 格里斯，查理 1 莉安娜·哈达伦 1 Hidalgo-Doblado，M.J。 1 胡一宁 1 沃伦·朱恩·亨特（Warren jun Hunt）。 1 维奥雷尔·奥尔达奇 1 克里斯托弗·杰斐逊 1 马特·考夫曼 1 斯蒂芬·科切马佐夫 1 佐尔坦科瓦奇 1 米贾·库尔琴斯基 1 拉马纳·库马尔 1 安德鲁·劳伦斯 1 马里乌斯·林道尔 1 凯文·洛茨 1 诺伯特·曼恩 1 Martín-Mateos，弗朗西斯科·耶苏斯 1 Jens马斯贝格 1 雅各布·毛罗 1 巴维克·梅塔 1 朱利叶斯·迈克利斯 1 伊恩·米格尔 1 苏拉夫·穆霍帕德海伊 1 姆拉丹·尼科利奇 1 托比亚斯·尼普科夫 1 德克·诺沃特卡 1 科里·奥利弗 1 伊利亚·奥特普申尼科夫。 1 斯科特·欧文斯 1 托拜厄斯·菲利普 1 安妮·雷蒙德 1 安德鲁·雷诺兹 1 何塞·路易斯·鲁伊斯·雷纳 1 克里斯蒂安·赛尔 1 奥利弗·沙特 1 安德斯·施利奇特克鲁尔 1 帕斯卡·施雷克 1 莫妮卡·塞森伯格 1 Aleksandr Anatol’evich塞梅诺夫 1 Natarajan Shankar 1 达尼耶拉·西米奇 1 哈拉尔德·森德加德 1 米尔科·斯托贾迪诺维奇 1 克里斯蒂安·斯特里克 1 彼得·詹姆斯·斯塔基 1 Šukilović，蒂贾纳 1 Tan，Yong Kiam先生 1 德克·奥利弗 1 塞萨尔·蒂内利 1 费利克斯·乌尔里希·奥尔坦 1 马克·沃彻 1 詹姆斯·阿尔弗雷德·沃克 1 王文喜 1 内森·韦兹勒。 1 奥列格·谢尔盖维奇·扎金 全部的 前5名15篇连载文章中引用 11 自动推理杂志 4 计算机科学中的逻辑方法 三 约束条件 2 图与组合 2 计算几何 2 数学与人工智能年鉴 1 人工智能 1 离散数学 1 计算数学 1 经济理论杂志 1 理论计算机科学 1 符号计算杂志 1 系统设计中的形式化方法 1 组合数学电子杂志 1 CGT公司。几何与拓扑计算 全部的 前5名在9个字段中引用 42 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 6 凸和离散几何（52至XX） 6 运筹学、数学规划（90-XX） 5 组合数学（05-XX） 4 几何图形（51至XX） 2 信息和通信理论，电路（94-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文