编辑配置文件（在新选项卡中打开） 米罗斯拉夫·奥沙克 合著者距离 作者ID： 奥萨克·米罗斯拉夫 发布日期： 米罗斯拉夫·奥沙克;米罗斯拉夫·奥萨克 已编制索引的文档： 20出版物自2017年起，包括2个附加arXiv预打印 合著者： 26位合著者具有13联合出版物 363名合作作者 全部的 前5名合著者 7 单作者的 7 约瑟夫·乌尔班 4 迈克尔·平斯克 3 卡雷尔·奇瓦洛夫斯克 3 Jakubův，简 2 利波·巴托 2 曼纽尔·博迪尔斯基 2 迈克尔·孔帕彻 2 安托万·莫特特 2 雅库布·奥普沙尔 2 范，Trung Van 2 罗斯·威拉德 1 米隆·菲卡 1 Thibault Gauthier 1 查拉图斯特拉·阿马德乌斯·戈泽尔 1 塞萨里·卡利西克 1 马钦·科齐克 1 朗，简 1 雅罗斯拉夫·麦克 1 维特穆西尔 1 皮克，卢博什 1 巴托斯·彼得罗夫斯基 1 Sedlář，Jiൿí 1 约瑟夫·西维奇 1 斯兹蒙·斯坦基维茨 1 马丁·苏达 1 佐姆博里（Zsolt Zombori） 全部的 前5名系列 2 代数普遍性 1 《伦敦数学学会通报》 1 符号逻辑杂志 1 美国数学学会会刊 1 国际近似推理杂志 1 国际代数与计算杂志 1 几何分析杂志 1 数学逻辑杂志 全部的 前5名领域 10 计算机科学（68至XX） 8 一般代数系统（08-XX） 4 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 2 群论与推广（20-XX） 1 数论（11-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 几何图形（51至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用77中的次52文件 引用人▼ 年份▼ 最弱的非平凡幂等方程。 Zbl 1414.08002号 米罗斯拉夫·奥沙克 16 2017 无限域约束满足问题两个二分法猜想的等价性。 Zbl 1452.08001号 利波·巴托;迈克尔·孔帕彻;米罗斯拉夫·奥沙克;Trung Van Pham公司;迈克尔·平斯克 13 2017 寡形克隆中的方程和（ω）-范畴结构的约束满足问题。 Zbl 1477.03118号 利波·巴托;迈克尔·孔帕彻;米罗斯拉夫·奥沙克;范，Trung Van;迈克尔·平斯克 11 2019 ENIGMA anonymous：符号相关推理引导机（系统描述）。 Zbl 07614690号 Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 11 2020 用于自动推理的属性不变量嵌入。 Zbl 1464.68317号 米罗斯拉夫·奥沙克;塞萨里·卡利西克;约瑟夫·乌尔班 8 2020 对称布尔PCSP的二分法。 Zbl 07561550号 米隆·菲卡;马钦·科齐克;米罗斯拉夫·奥沙克;斯兹蒙·斯坦基维茨 5 2019 强连通有向图的循环条件。 Zbl 1454.08006号 米罗斯拉夫·奥沙克 4 2020 回路条件。 Zbl 1528.08009号 米罗斯拉夫·奥沙克 3 2020 \（\omega）-避免高度1恒等式的分类结构。 Zbl 1472.08006号 曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德 3 2021 外星人编码。 Zbl 07766523号 Thibault Gauthier;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 1 2023 一般同余满足半分配代数的Maltsev条件。 Zbl 1487.08002号 米罗斯拉夫·奥沙克 1 2021 Sobolev嵌入的最大非紧性。 兹比尔1483.46032 朗，简;维特穆西尔;米罗斯拉夫·奥沙克;皮克，卢博什 1 2021 外来编码。 Zbl 07766523号 Thibault Gauthier;米罗斯拉夫·奥沙克;约瑟夫·乌尔班 1 2023 \（\omega）-避免高度1恒等式的分类结构。 Zbl 1472.08006号 曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德 3 2021 一般同余满足半分配代数的Maltsev条件。 兹比尔1487.08002 米罗斯拉夫·奥沙克 1 2021 Sobolev嵌入的最大非紧性。 Zbl 1483.46032号 朗，简;维特穆西尔;米罗斯拉夫·奥沙克;皮克，卢博什 1 2021 ENIGMA anonymous：符号相关推理引导机（系统描述）。 Zbl 07614690号 Jakubův，简;卡雷尔·奇瓦洛夫斯克;米罗斯拉夫·奥沙克;巴托斯·彼得罗夫斯基;马丁·苏达;约瑟夫·乌尔班 11 2020 用于自动推理的属性不变量嵌入。 Zbl 1464.68317号 米罗斯拉夫·奥沙克;塞萨里·卡利西克;约瑟夫·乌尔班 8 2020 强连通有向图的循环条件。 Zbl 1454.08006号 米罗斯拉夫·奥沙克 4 2020 回路条件。 Zbl 1528.08009号 米罗斯拉夫·奥沙克 3 2020 寡形克隆中的方程和（ω）-范畴结构的约束满足问题。 Zbl 1477.03118号 利波·巴托;迈克尔·孔帕彻;米罗斯拉夫·奥沙克;范，Trung Van;迈克尔·平斯克 11 2019 对称布尔PCSP的二分法。 Zbl 07561550号 米隆·菲卡;马钦·科齐克;米罗斯拉夫·奥沙克;斯兹蒙·斯坦基维茨 5 2019 最弱的非平凡幂等方程。 Zbl 1414.08002号 米罗斯拉夫·奥沙克 16 2017 无限域约束满足问题两个二分法猜想的等价性。 Zbl 1452.08001号 利波·巴托;迈克尔·孔帕彻;米罗斯拉夫·奥沙克;Trung Van Pham公司;迈克尔·平斯克 13 2017 所有引用出版物 前5名被引用出版物 全部的 前5名67位作者引用 10 曼纽尔·博迪尔斯基 9 米罗斯拉夫·奥沙克 9 迈克尔·平斯克 5 安托万·莫特特 5 约瑟夫·乌尔班 4 亚历山大·卡兹达 4 斯坦尼斯拉夫·伊文 3 Jakubův，简 3 雅库布·奥普沙尔 3 马丁·苏达 2 弗兰兹·巴德 2 利波·巴托 2 乔舒亚·布拉肯西克 2 卡雷尔·奇瓦洛夫斯克 2 皮埃尔·吉利伯特 2 文凯特桑·古鲁斯瓦米 2 朱利叶斯 2 塞萨里·卡利西克 2 西蒙·克努尔 2 迈克尔·孔帕彻 2 巴纳比·D·马丁。 2 安德拉斯·蓬格拉茨 2 雅库布·里德瓦尔 2 弗洛里安·斯塔克 2 马钦·罗奇纳 2 佐姆博里（Zsolt Zombori） 1 菲利普·巴特克 1 克利福德·伯格曼 1 沃尔夫冈·比贝尔 1 瓦斯科·布拉特卡 1 洛伦佐·齐亚多 1 阿德里安·西萨里克 1 内马尼亚·德拉加尼奇 1 拉尔夫·弗里斯（Ralph S.Freese）。 1 麦哲尔克 1 查拉图斯特拉·阿马德乌斯·戈泽尔 1 海因氏胶 1 Keith A.Kearnes。 1 马钦·科齐克 1 安德烈·克鲁金（Andrei A.Krokhin）。 1 朗，简 1 保罗·利帕里尼 1 雅罗斯拉夫·麦克 1 弗洛伦特·玛德琳。 1 马塞洛·马米诺 1 佩塔·马尔科维奇 1 米查勒夫斯基（Michalewski）、亨利克（Henryk） 1 Zdeněk米胡拉 1 安德鲁·穆赫德 1 乔安娜·奥奇里米亚克 1 延斯·奥滕 1 克尔斯托·普罗科维奇 1 托马斯·奎因-格雷格森 1 约翰·施密杜贝尔 1 Sedlář，Jiൿí 1 约瑟夫·西维奇 1 杰夫·萨特克利夫 1 阿格内斯·森德雷伊 1 乌尔贾列维奇（Vlado Uljarević） 1 马修·瓦莱里奥特（Matthew A.Valeriote）。 1 维奥拉、卡特琳娜 1 阿尔伯特·武卡吉 1 迈克尔·旺德 1 Christoph Wernhard公司 1 罗斯·威拉德 1 萨米尔·扎希罗维奇 1 朱克（Dmitriy N.Zhuk）。 全部的 前5名15篇连载文章中引用 8 SIAM计算机杂志 7 代数普遍性 4 国际代数与计算杂志 3 符号逻辑杂志 1 《伦敦数学学会通报》 1 加拿大数学通报 1 代数杂志 1 功能分析杂志 1 纯粹与应用代数杂志 1 美国数学学会会刊 1 自动推理杂志 1 AI通信 1 数学逻辑杂志 1 多值逻辑与软计算杂志 1 Oberwolfach报告 全部的 前5名11个领域引用 32 计算机科学（68至XX） 26 一般代数系统（08-XX） 18 数学逻辑和基础（03-XX） 7 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 总体主题；集合（00-XX） 1 有序，格，有序代数结构（06-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 按年份列出的引文