Segui
Antoine Mottet
Antoine Mottet
Technische Universität Hamburg
Email verificata su tuhh.de - Home page
Titolo
Citata da
Citata da
Anno
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
342018
A Dichotomy for First-Order Reducts of Unary Structures
A Mottet, M Bodirsky
Logical Methods in Computer Science 14, 2018
29*2018
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
282016
Discrete Temporal Constraint Satisfaction Problems
M Bodirsky, B Martin, A Mottet
Journal of the ACM 65 (2), 2018
272018
Constraint satisfaction problems over the integers with successor
M Bodirsky, B Martin, A Mottet
Automata, Languages, and Programming: 42nd International Colloquium, ICALP …, 2015
202015
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
19*2019
The Containment Problem for Unambiguous Register Automata
A Mottet, K Quaas
STACS 2019, 2019
162019
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
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
142022
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
Distance constraint satisfaction problems
M Bodirsky, V Dalmau, B Martin, A Mottet, M Pinsker
Information and Computation 247, 87-105, 2015
132015
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
11*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
82021
The complexity of disjunctive linear Diophantine constraints
M Bodirsky, B Martin, M Mamino, A Mottet
Mathematical Foundations of Computer Science, 2018
42018
Classification transfer for qualitative reasoning problems
M Bodirsky, P Jonsson, B Martin, A Mottet
IJCAI, 2018
42018
On the Containment Problem for Unambiguous Single-Register Automata with Guessing
A Mottet, K Quaas
arXiv preprint arXiv:1905.12445, 2019
32019
The containment problem for unambiguous register automata and unambiguous timed automata
A Mottet, K Quaas
Theory of Computing Systems 65 (4), 706-735, 2021
22021
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20