编辑配置文件（在新选项卡中打开） 安托万·莫特 合著者距离 作者ID： 运动型安托宁 发布日期： 安托万·莫特 已编制索引的文档： 21出版物自2015年起，包括7其他arXiv预打印 合著者： 22合著者具有21联合出版物 424位合作作者 全部的 前5名合著者 0 单作者的 11 曼纽尔·博迪尔斯基 8 迈克尔·平斯克 5 巴纳比·D·马丁。 三 利波·巴托 2 弗洛伦特·马德琳。 2 米罗斯拉夫·奥沙克 2 雅库布·奥普沙尔 2 卡琳·夸斯 2 罗斯·威拉德 1 弗兰兹·巴德 1 伯塔兰·博多 1 维克托·达尔摩 1 皮埃尔·吉利伯特 1 彼得·琼森 1 朱利叶斯·乔努沙斯 1 迈克尔·孔帕彻 1 马钦·科齐克 1 马塞洛·马米诺 1 巴夫洛斯·马兰蒂迪斯 1 汤姆·纳吉 1 亚历山大·奥霍金 1 Semanišinová，日亚涅塔 全部的 前5名系列 2 SIAM计算机杂志 1 符号逻辑杂志 1 美国数学学会会刊 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 美国医学会杂志 1 计算机科学中的逻辑方法 领域 13 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 5 一般代数系统（08-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用60中的次41文件 引用人▼ 年份▼ 具有后继整数的约束满足问题。 Zbl 1440.68111号 曼纽尔·博迪尔斯基；巴纳比·马丁；安托万·莫特 14 2015 单调单子SNP复杂性二分法的普适代数证明。 兹比尔1452.03084 曼纽尔·博迪尔斯基；佛罗伦萨马德琳；安托万·莫特 9 2018 离散时间约束满足问题。 Zbl 1425.68135号 曼纽尔·博迪尔斯基；巴纳比·马丁；安托万·莫特 7 2018 有限界齐次结构的约简，以及从有限域约束满足中提升可牵引性。 Zbl 1401.68109号 曼纽尔·博迪尔斯基；安托万·莫特 7 2016 一元结构一阶约简的二分法。 Zbl 1476.03041号 曼纽尔·博迪尔斯基；安托万·莫特 6 2018 明确的寄存器自动机的包含问题。 Zbl 1517.68208号 安托万·莫特；卡琳·夸斯 5 2019 \（\omega）-避免高度1恒等式的分类结构。 Zbl 1472.08006号 曼纽尔·博迪尔斯基；安托万·莫特；米罗斯拉夫·奥沙克；雅库布·奥普沙尔；迈克尔·平斯克；罗斯·威拉德 三 2021 明确的寄存器自动机和明确的时间自动机的包含问题。 Zbl 1517.68207号 安托万·莫特；卡琳·夸斯 三 2021 距离约束满足问题。 Zbl 1336.68116号 曼纽尔·博迪尔斯基；维克托·达尔摩；巴纳比·马丁；安托万·莫特；迈克尔·平斯克 2 2016 统一模的扩张ACUI公司. 兹比尔1495.68237 弗兰兹·巴德；巴夫洛斯·马兰蒂迪斯；安托万·莫特；亚历山大·奥霍金 1 2020 单调单子SNP的代数可处理性猜想的证明。 Zbl 07393743号 曼纽尔·博迪尔斯基；佛罗伦萨马德琳；安托万·莫特 1 2021 拉姆齐构造上的岩芯。 Zbl 1529.03194号 安托万·莫特；迈克尔·平斯克 1 2021 析取线性丢番图约束的复杂性。 兹比尔1512.68112 曼纽尔·博迪尔斯基；巴纳比·马丁；马塞洛·马米诺；安托万·莫特 1 2018 \（\omega）-避免高度1恒等式的分类结构。 Zbl 1472.08006号 曼纽尔·博迪尔斯基；安托万·莫特；米罗斯拉夫·奥沙克；雅库布·奥普沙尔；迈克尔·平斯克；罗斯·威拉德 三 2021 明确的寄存器自动机和明确的时间自动机的包含问题。 Zbl 1517.68207号 安托万·莫特；卡琳·夸斯 三 2021 单调单子SNP的代数可处理性猜想的证明。 Zbl 07393743号 曼纽尔·博迪尔斯基；佛罗伦萨马德琳；安托万·莫特 1 2021 拉姆齐构造上的岩芯。 Zbl 1529.03194号 安托万·莫特；迈克尔·平斯克 1 2021 统一模的扩张ACUI公司. Zbl 1495.68237号 弗兰兹·巴德；巴夫洛斯·马兰蒂迪斯；安托万·莫特；亚历山大·奥霍金 1 2020 明确的寄存器自动机的包含问题。 Zbl 1517.68208号 安托万·莫特；卡琳·夸斯 5 2019 单调单子SNP复杂性二分法的普适代数证明。 兹比尔1452.03084 曼纽尔·博迪尔斯基；佛罗伦萨马德琳；安托万·莫特 9 2018 离散时间约束满足问题。 Zbl 1425.68135号 曼纽尔·博迪尔斯基；巴纳比·马丁；安托万·莫特 7 2018 一元结构一阶约简的二分法。 Zbl 1476.03041号 曼纽尔·博迪尔斯基；安托万·莫特 6 2018 析取线性丢番图约束的复杂性。 Zbl 1512.68112号 曼纽尔·博迪尔斯基；巴纳比·马丁；马塞洛·马米诺；安托万·莫特 1 2018 有限界齐次结构的约简，以及从有限域约束满足中提升可牵引性。 Zbl 1401.68109号 曼纽尔·博迪尔斯基；安托万·莫特 7 2016 距离约束满足问题。 Zbl 1336.68116号 曼纽尔·博迪尔斯基；维克托·达尔摩；巴纳比·马丁；安托万·莫特；迈克尔·平斯克 2 2016 具有后继整数的约束满足问题。 Zbl 1440.68111号 曼纽尔·博迪尔斯基；巴纳比·马丁；安托万·莫特 14 2015 所有引用的出版物 前5名被引用出版物 全部的 前5名57位作者引用 15 曼纽尔·博迪尔斯基 9 迈克尔·平斯克 7 安托万·莫特 5 巴纳比·D·马丁。 4 彼得·琼森 4 马塞洛·马米诺 4 雅库布·里德瓦尔 三 弗兰兹·巴德 2 利波·巴托 2 皮埃尔·吉利伯特 2 克里斯蒂安·格拉（Christian Glaßer） 2 朱利叶斯·乔努沙斯 2 西蒙·克努尔 2 约书亚·莫尔曼 2 雅库布·奥普沙尔 2 安德拉斯·蓬格拉茨 2 马蒂奥·桑马蒂诺 2 斯坦尼斯拉夫·伊文 1 伯塔兰·博多 1 洛伦佐·齐亚多 1 洛伦佐·克莱门特 1 沃伊切赫，切尔文斯基 1 维克托·达尔摩 1 劳雷·达沃 1 迭戈·菲格拉 1 奥利维·芬克尔 1 默多克·詹姆斯·加贝 1 威廉·伊恩·加斯奇 1 约翰内斯·格雷纳 1 见鬼，帕沃 1 彼得·霍夫曼 1 马尔钦·尤尔季安斯基 1 巴托克·克林 1 迈克尔·孔帕彻 1 维克托·拉盖克维斯特 1 迈克尔·克里斯·拉斯科夫斯基 1 萨沃米尔·拉索塔 1 兰科·拉齐奇 1 弗洛伦特·马德琳。 1 菲利普·马佐维耶基 1 雅罗斯拉夫·内舍特伊尔 1 米罗斯拉夫·奥沙克 1 达里奥·奥斯图尼 1 吉列尔莫·A·佩雷斯。 1 卡琳·夸斯 1 爱丽丝·拉斐尔 1 罗密欧·里兹 1 雷巴科夫，弗拉基米尔·弗拉基米罗维奇 1 Micha Skrzypczak 1 弗洛里安·斯塔克 1 约翰·塔珀 1 西门托伦奇克 1 维奥拉、卡特琳娜 1 罗斯·威拉德 1 詹姆斯·沃雷尔。 1 马特奥·扎瓦特里 1 朱绍鹏 全部的 前5名19篇连载文章中引用 5 SIAM计算机杂志 4 计算机科学中的逻辑方法 2 计算机与系统科学杂志 2 计算系统理论 1 以色列数学杂志 1 《伦敦数学学会通报》 1 符号逻辑杂志 1 理论计算机科学 1 美国数学学会会刊 1 算法 1 信息与计算 1 自动推理杂志 1 人工智能研究杂志 1 约束条件 1 群论杂志 1 计算机基础理论 1 对离散数学的贡献 1 计算机科学评论 1 西伯利亚联邦大学学报。数学和物理 全部的 前5名在7个字段中引用 35 计算机科学（68至XX） 20 数理逻辑与基础（03-XX） 10 一般代数系统（08-XX） 三 运筹学、数学规划（90-XX） 2 组合数学（05-XX） 2 群论与推广（20-XX） 1 拓扑群、李群（22日至XX日） 按年份列出的引文