关注
Antoine Mottet
Antoine Mottet
Technische Universität Hamburg
在 tuhh.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
M Bodirsky, F Madelaine, A Mottet
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
372018
A Dichotomy for First-Order Reducts of Unary Structures
A Mottet, M Bodirsky
Logical Methods in Computer Science 14, 2018
32*2018
Discrete Temporal Constraint Satisfaction Problems
M Bodirsky, B Martin, A Mottet
Journal of the ACM 65 (2), 2018
292018
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
M Bodirsky, A Mottet
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
292016
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
M Bodirsky, A Mottet, M Olšák, J Opršal, M Pinsker, R Willard
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2019
202019
Constraint satisfaction problems over the integers with successor
M Bodirsky, B Martin, A Mottet
Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015
202015
Smooth approximations and CSPs over finitely bounded homogeneous structures
A Mottet, M Pinsker
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
172022
The Containment Problem for Unambiguous Register Automata
A Mottet, K Quaas
STACS 2019, 2019
172019
Omega-categorical structures avoiding height 1 identities
M Bodirsky, A Mottet, M Olšák, J Opršal, M Pinsker, R Willard
Transactions of the American Mathematical Society, 2020
15*2020
Distance constraint satisfaction problems
M Bodirsky, V Dalmau, B Martin, A Mottet, M Pinsker
Information and Computation 247, 87-105, 2015
142015
Hrushovski’s Encoding and ω-Categorical CSP Monsters
P Gillibert, J Jonušas, M Kompatscher, A Mottet, M Pinsker
47th International Colloquium on Automata, Languages, and Programming (ICALP …, 2020
132020
A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP
M Bodirsky, F Madelaine, A Mottet
SIAM Journal on Computing 50 (4), 1359-1409, 2021
122021
Extensions of unification modulo ACUI
F Baader, P Marantidis, A Mottet, A Okhotin
Mathematical Structures in Computer Science, 1-30, 2019
12*2019
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
P Gillibert, J Jonušas, M Kompatscher, A Mottet, M Pinsker
SIAM Journal on Computing 51 (2), 175-213, 2022
102022
Cores over Ramsey structures
A Mottet, M Pinsker
The Journal of Symbolic Logic 86 (1), 352-361, 2021
102021
Smooth approximations and relational width collapses
A Mottet, T Nagy, M Pinsker, M Wrona
Dagstuhl: Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2021
92021
The complexity of disjunctive linear Diophantine constraints
M Bodirsky, B Martin, M Mamino, A Mottet
Mathematical Foundations of Computer Science, 2018
42018
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing
L Barto, B Bodor, M Kozik, A Mottet, M Pinsker
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2023
3*2023
The containment problem for unambiguous register automata and unambiguous timed automata
A Mottet, K Quaas
Theory of Computing Systems 65 (4), 706-735, 2021
32021
On the Containment Problem for Unambiguous Single-Register Automata with Guessing
A Mottet, K Quaas
arXiv preprint arXiv:1905.12445, 2019
32019
系统目前无法执行此操作,请稍后再试。
文章 1–20