Sledovat
Antoine Mottet
Antoine Mottet
Technische Universität Hamburg
E-mailová adresa ověřena na: tuhh.de - Domovská stránka
Název
Citace
Citace
Rok
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
362018
A Dichotomy for First-Order Reducts of Unary Structures
A Mottet, M Bodirsky
Logical Methods in Computer Science 14, 2018
31*2018
Discrete Temporal Constraint Satisfaction Problems
M Bodirsky, B Martin, A Mottet
Journal of the ACM 65 (2), 2018
282018
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
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
The Containment Problem for Unambiguous Register Automata
A Mottet, K Quaas
STACS 2019, 2019
172019
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
162022
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
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
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
Extensions of unification modulo ACUI
F Baader, P Marantidis, A Mottet, A Okhotin
Mathematical Structures in Computer Science, 1-30, 2019
10*2019
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
New Techniques for Universality in Unambiguous Register Automata
W Czerwiński, A Mottet, K Quaas
arXiv preprint arXiv:2102.08331, 2021
32021
On the Containment Problem for Unambiguous Single-Register Automata with Guessing
A Mottet, K Quaas
arXiv preprint arXiv:1905.12445, 2019
32019
Classification transfer for qualitative reasoning problems
M Bodirsky, P Jonsson, B Martin, A Mottet
IJCAI, 2018
32018
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–20