安托万·莫特特
人员信息
隶属关系: 德国汉堡理工大学 隶属关系(前): 捷克共和国布拉格查尔斯大学数学系 隶属关系(前): 德国德累斯顿工业大学
优化列表
2020年-今天
2024 [第14条] 安托万·莫特特 :
承诺和无限域约束满足。 CSL公司 2024 : 41:1-41:19 2023 [第13条] 利伯·巴托 , 贝塔兰·博多 , 马金·科齐克 , 安托万·莫特特 , 迈克尔·平斯克 :
无法解释有限事物的图和结构的对称性。 许可证 2023 : 1月13日 [i18] 安托万·莫特特 , 迈克尔·平斯克 , 汤玛斯·纳吉 :
无处不在的命令:无限域CSP的新算法。 CoRR公司 abs/2301.12977 ( 2023 ) [i17] 利伯·巴托 , 贝塔兰·博多 , 马金·科齐克 , 安托万·莫特特 , 迈克尔·平斯克 :
无法解释有限事物的结构对称性。 CoRR公司 腹肌/2302.12112 ( 2023 ) 2022 [j8] 皮埃尔·吉利伯特 , 朱利叶斯·乔纳斯 , 迈克尔·孔帕彻 , 安托万·莫特特 , 迈克尔·平斯克 :
当对称不够时:硬约束满足问题的层次结构。 SIAM J.计算。 51 ( 2 ) : 175-213 ( 2022 ) [第12条] 安托万·莫特特 , 迈克尔·平斯克 :
有限有界齐次结构上的光滑逼近和CSP。 许可证 2022 : 36:1-36:13 [i16] 曼纽尔·博德斯基 , 彼得·琼森 , 巴纳比·马丁 , 安托万·莫特特 , 萨内塔·塞马尼西诺娃 :
基于代数积的CSP复杂性分类转移。 CoRR公司 abs/2211.03340 ( 2022 ) 2021 [j7] 安托万·莫特特 , 迈克尔·平斯克 :
拉姆齐结构上的岩芯。 J.塞姆。 日志。 86 ( 1 ) : 352-361 ( 2021 ) [j6] 安托万·莫特特 , 卡林·夸斯 :
无歧义寄存器自动机和无歧义时间自动机的包含问题。 理论计算。 系统。 65 ( 4 ) : 706-735 ( 2021 ) [j5] 曼纽尔·博德斯基 , 弗洛伦特·马德兰 , 安托万·莫特特 :
单调单子SNP代数可拓性猜想的证明。 SIAM J.计算。 50 ( 4 ) : 1359年-1409年 ( 2021 ) [第11条] 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 安托万·莫特特 , 卡林·夸斯 :
无歧义寄存器自动机中普适性的新技术。 ICALP公司 2021 : 129:1-129:16 [第10条] 安托万·莫特特 , 汤玛斯·纳吉 , 迈克尔·平斯克 , 米查尔·罗纳 :
平滑近似和关系宽度塌陷。 ICALP公司 2021 : 138:1-138:20 [c9] 利伯·巴托 , 威廉·德梅奥 , 安托万·莫特特 :
有限结构上的约束满足问题。 许可证 2021 : 1月13日 【i15】 安托万·莫特特 , 汤玛斯·纳吉 , 迈克尔·平斯克 , 米查尔·罗纳 :
平滑近似和关系宽度折叠。 CoRR公司 abs/2102.07531 ( 2021 ) [第14条] 沃伊切赫·切尔温斯基(Wojciech Czerwinski) , 安托万·莫特特 , 卡林·夸斯 :
无歧义寄存器自动机中普适性的新技术。 CoRR公司 腹肌/2102.08331 ( 2021 ) 2020 【j4】 弗兰兹·巴德 , 帕夫洛斯·马兰蒂迪斯 , 安托万·莫特特 , 亚历山大·奥霍廷 :
统一模ACUI的扩展。 数学。 结构。 计算。 科学。 30 ( 6 ) : 597-626 ( 2020 ) 【c8】 皮埃尔·吉利伯特 , 朱利叶斯·乔纳斯 , 迈克尔·孔帕彻 , 安托万·莫特特 , 迈克尔·平斯克 :
赫鲁肖夫斯基的编码和ω类CSP怪物。 ICALP公司 2020 : 131:1-131:17 [i13] 皮埃尔·吉利伯特 , 朱利叶斯·乔纳斯 , 迈克尔·孔帕彻 , 安托万·莫特特 , 迈克尔·平斯克 :
当对称性不够时:硬约束满足问题的层次结构。 CoRR公司 abs/2002.07054 ( 2020 ) [i12] 安托万·莫特特 , 迈克尔·平斯克 :
拉姆齐构造上的岩芯。 CoRR公司 腹肌/2004.05936 ( 2020 ) [i11] 曼纽尔·博德斯基 , 安托万·莫特特 , 米罗斯拉夫·奥萨克 , Jakub Oprsal公司 , 迈克尔·平斯克 , 罗斯·威拉德 :
ω-避免高度1恒等式的范畴结构。 CoRR公司 abs/2006.12254 ( 2020 ) [i10] 利伯·巴托 , 威廉·德梅奥 , 安托万·莫特特 :
布尔结构同态问题的复杂性。 CoRR公司 abs/2010.04958 ( 2020 ) [第九章] 安托万·莫特特 , 迈克尔·平斯克 :
有限有界齐次结构上的光滑逼近和CSP。 CoRR公司 abs/2011.03978 ( 2020 )
2010 – 2019
2019 【c7】 曼纽尔·博德斯基 , 安托万·莫特特 , 米罗斯拉夫·奥萨克 , Jakub Oprsal公司 , 迈克尔·平斯克 , 罗斯·威拉德 :
拓扑是相关的(在无限域约束满足问题的二分法猜想中)。 许可证 2019 : 1-12 【c6】 安托万·莫特特 , 卡林·夸斯 :
无歧义寄存器自动机的包含问题。 STACS公司 2019 : 53:1-53:15 [i8] 曼纽尔·博德斯基 , 安托万·莫特特 , 米罗斯拉夫·奥萨克 , Jakub Oprsal公司 , 迈克尔·平斯克 , 罗斯·威拉德 :
拓扑是相关的(在约束满足问题的无限域二分法猜想中)。 CoRR公司 abs/1901.04237 ( 2019 ) [i7] 安托万·莫特特 , 卡林·夸斯 :
带猜测的无歧义单注册自动机的包含问题。 CoRR公司 abs/1905.12445 ( 2019 ) 2018 [j3] 曼纽尔·博德斯基 , 巴纳比·马丁 , 安托万·莫特特 :
离散时间约束满足问题。 美国临床医学杂志 65 ( 2 ) : 9:1-9:41 ( 2018 ) [注2] 曼纽尔·博德斯基 , 安托万·莫特特 :
一元结构一阶约简的二分法。 日志。 方法计算。 科学。 14 ( 2 ) ( 2018 ) 【c5】 曼纽尔·博德斯基 , 彼得·琼森 , 巴纳比·马丁 , 安托万·莫特特 :
定性推理问题的分类转移。 IJCAI公司 2018 : 1256-1262 【c4】 曼纽尔·博德斯基 , 弗洛伦特·马德兰 , 安托万·莫特特 :
单调单子SNP复杂性二分法的通用代数证明。 许可证 2018 : 105-114 【c3】 曼纽尔·博德斯基 , 巴纳比·马丁 , 马塞洛·马米诺 , 安托万·莫特特 :
析取线性丢番图约束的复杂性。 MFCS公司 2018 : 33:1-33:16 [i6] 曼纽尔·博德斯基 , 弗洛伦特·马德兰 , 安托万·莫特特 :
单调单子SNP复杂性二分法的通用代数证明。 CoRR公司 abs/1802.03255 ( 2018 ) [i5] 巴纳比·马丁 , 彼得·琼森 , 曼纽尔·博德斯基 , 安托万·莫特特 :
定性推理问题的分类转换。 CoRR公司 abs/1805.02038 ( 2018 ) [i4] 曼纽尔·博德斯基 , 巴纳比·马丁 , 马塞洛·马米诺 , 安托万·莫特特 :
析取线性丢番图约束的复杂性。 CoRR公司 abs/1807.00985 ( 2018 ) [i3] 安托万·莫特特 , 卡琳·夸斯 :
无歧义寄存器自动机的包含问题。 CoRR公司 abs/1809.08985 ( 2018 ) 2016 [j1] 曼纽尔·博德斯基 , 维克托·达尔摩 , 巴纳比·马丁 , 安托万·莫特特 , 迈克尔·平斯克 :
距离约束满足问题。 Inf.计算。 247 : 87-105 ( 2016 ) 【c2】 曼纽尔·博德斯基 , 安托万·莫特特 :
有限界齐次结构的约简,以及从有限域约束满足中提升可牵引性。 许可证 2016 : 623-632 [i2] 曼纽尔·博德斯基 , 安托万·莫特特 :
一元结构一阶约简的二分法。 CoRR公司 abs/1601.04520 ( 2016 ) 2015 【c1】 曼纽尔·博德斯基 , 巴纳比·马丁 , 安托万·莫特特 :
带后继整数上的约束满足问题。 ICALP(一) 2015 : 256-267 [i1] 曼纽尔·博德斯基 , 巴纳比·马丁 , 安托万·莫特特 :
离散时间约束满足问题。 CoRR公司 abs/1503.08572 ( 2015 )