Antoine Mottet
Title
Cited by
Cited by
Year
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
232018
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
M Bodirsky, A Mottet
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
202016
Discrete Temporal Constraint Satisfaction Problems
M Bodirsky, B Martin, A Mottet
Journal of the ACM 65 (2), 2018
192018
Constraint satisfaction problems over the integers with successor
M Bodirsky, B Martin, A Mottet
International Colloquium on Automata, Languages, and Programming, 256-267, 2015
192015
A Dichotomy for First-Order Reducts of Unary Structures
A Mottet, M Bodirsky
Logical Methods in Computer Science 14, 2018
15*2018
The Containment Problem for Unambiguous Register Automata
A Mottet, K Quaas
STACS 2019, 2019
142019
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
13*2019
Distance constraint satisfaction problems
M Bodirsky, V Dalmau, B Martin, A Mottet, M Pinsker
Information and Computation 247, 87-105, 2015
122015
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
6*2020
Cores over Ramsey structures
A Mottet, M Pinsker
The Journal of Symbolic Logic 86 (1), 352-361, 2021
42021
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
42020
Extensions of unification modulo ACUI
F Baader, P Marantidis, A Mottet, A Okhotin
Mathematical Structures in Computer Science, 1-30, 2019
42019
ACUI Unification modulo Ground Theories
F Baader, P Marantidis, A Mottet
32nd International Workshop on Unification (UNIF 2018), 2018
32018
Smooth approximations and CSPs over finitely bounded homogeneous structures
A Mottet, M Pinsker
arXiv preprint arXiv:2011.03978, 2020
22020
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
P Gillibert, J Jonušas, M Kompatscher, A Mottet, M Pinsker
arXiv preprint arXiv:2002.07054, 2020
22020
On the Containment Problem for Unambiguous Single-Register Automata with Guessing
A Mottet, K Quaas
arXiv preprint arXiv:1905.12445, 2019
22019
Classification transfer for qualitative reasoning problems
M Bodirsky, P Jonsson, B Martin, A Mottet
IJCAI, 2018
22018
The containment problem for unambiguous register automata and unambiguous timed automata
A Mottet, K Quaas
Theory of Computing Systems 65 (4), 706-735, 2021
12021
The complexity of disjunctive linear Diophantine constraints
M Bodirsky, B Martin, M Mamino, A Mottet
Mathematical Foundations of Computer Science, 2018
12018
New Techniques for Universality in Unambiguous Register Automata
W Czerwiński, A Mottet, K Quaas
arXiv preprint arXiv:2102.08331, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20