编辑配置文件(在新选项卡中打开) 安托万·莫特特 合著者距离 作者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 塞马尼什诺娃 全部的 前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复杂性二分法的普适代数证明。 Zbl 1452.03084号 曼纽尔·博迪尔斯基;佛罗伦萨马德琳;安托万·莫特特 9 2018 离散时间约束满足问题。 兹比尔1425.68135 曼纽尔·博迪尔斯基;巴纳比·马丁;安托万·莫特特 7 2018 有限界齐次结构的约简,以及从有限域约束满足中提升可牵引性。 Zbl 1401.68109号 曼纽尔·博迪尔斯基;安托万·莫特特 7 2016 一元结构一阶约简的二分法。 Zbl 1476.03041号 曼纽尔·博迪尔斯基;安托万·莫特特 6 2018 明确的寄存器自动机的包含问题。 Zbl 1517.68208号 安托万·莫特特;卡琳·夸斯 5 2019 明确的寄存器自动机和明确的时间自动机的包含问题。 Zbl 1517.68207号 安托万·莫特特;卡琳·夸斯 三 2021 \(\omega)-避免高度1恒等式的分类结构。 兹比尔1472.08006 曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德 三 2021 距离约束满足问题。 Zbl 1336.68116号 曼纽尔·博迪尔斯基;维克托·达尔摩;巴纳比·马丁;安托万·莫特特;平斯克,迈克尔 2 2016 拉姆齐构造上的岩芯。 Zbl 1529.03194号 安托万·莫特特;迈克尔·平斯克 1 2021 析取线性丢番图约束的复杂性。 Zbl 1512.68112号 曼纽尔·博迪尔斯基;巴纳比·马丁;马塞洛·马米诺;安托万·莫特特 1 2018 单调单子SNP的代数可处理性猜想的证明。 Zbl 07393743号 曼纽尔·博迪尔斯基;佛罗伦萨马德琳;安托万·莫特特 1 2021 统一模的扩张ACUI公司. Zbl 1495.68237号 弗兰兹·巴德;帕夫洛斯马兰蒂迪斯;安托万·莫特特;亚历山大·奥霍金 1 2020 明确的寄存器自动机和明确的时间自动机的包含问题。 Zbl 1517.68207号 安托万·莫特特;卡琳·夸斯 三 2021 \(\omega)-避免高度1恒等式的分类结构。 Zbl 1472.08006号 曼纽尔·博迪尔斯基;安托万·莫特特;米罗斯拉夫·奥沙克;雅库布·奥普沙尔;迈克尔·平斯克;罗斯·威拉德 三 2021 拉姆齐构造上的岩芯。 Zbl 1529.03194号 安托万·莫特特;迈克尔·平斯克 1 2021 单调单子SNP的代数可处理性猜想的证明。 Zbl 07393743号 曼纽尔·博迪尔斯基;佛罗伦萨马德琳;安托万·莫特 1 2021 统一模的扩张ACUI公司. Zbl 1495.68237号 弗兰兹·巴德;巴夫洛斯·马兰蒂迪斯;安托万·莫特特;亚历山大·奥霍金 1 2020 明确的寄存器自动机的包含问题。 Zbl 1517.68208号 安托万·莫特特;卡琳·夸斯 5 2019 单调单子SNP复杂性二分法的普适代数证明。 Zbl 1452.03084号 曼纽尔·博迪尔斯基;佛罗伦萨马德琳;安托万·莫特 9 2018 离散时间约束满足问题。 Zbl 1425.68135号 曼纽尔·博迪尔斯基;巴纳比·马丁;安托万·莫特特 7 2018 一元结构一阶约简的二分法。 Zbl 1476.03041号 曼纽尔·博迪尔斯基;安托万·莫特特 6 2018 析取线性丢番图约束的复杂性。 Zbl 1512.68112号 曼纽尔·博迪尔斯基;巴纳比·马丁;马塞洛·马米诺;安托万·莫特特 1 2018 有限界齐次结构的约简,以及从有限域约束满足中提升可牵引性。 兹比尔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日) 按年份列出的引文