Antoine Mottet
Antoine Mottet
Email verificata su karlin.mff.cuni.cz - Home page
Titolo
Citata da
Citata da
Anno
Constraint satisfaction problems over the integers with successor
M Bodirsky, B Martin, A Mottet
International Colloquium on Automata, Languages, and Programming, 256-267, 2015
182015
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
112016
Discrete Temporal Constraint Satisfaction Problems
M Bodirsky, B Martin, A Mottet
Journal of the ACM 65 (2), 2018
102018
Distance constraint satisfaction problems
M Bodirsky, V Dalmau, B Martin, A Mottet, M Pinsker
Information and Computation 247, 87-105, 2015
102015
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
92018
A Dichotomy for First-Order Reducts of Unary Structures
A Mottet, M Bodirsky
Logical Methods in Computer Science 14, 2018
6*2018
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
4*2019
The Containment Problem for Unambiguous Register Automata
A Mottet, K Quaas
arXiv preprint arXiv:1809.08985, 2018
32018
ACUI Unification modulo Ground Theories
F Baader, P Marantidis, A Mottet
32nd International Workshop on Unification (UNIF 2018), 2018
22018
Classification transfer for qualitative reasoning problems
M Bodirsky, P Jonsson, B Martin, A Mottet
arXiv preprint arXiv:1805.02038, 2018
12018
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
2020
On the Containment Problem for Unambiguous Single-Register Automata with Guessing
A Mottet, K Quaas
arXiv preprint arXiv:1905.12445, 2019
2019
Extensions of unification modulo ACUI
F Baader, P Marantidis, A Mottet, A Okhotin
Mathematical Structures in Computer Science, 1-30, 2019
2019
The complexity of disjunctive linear Diophantine constraints
M Bodirsky, B Martin, M Mamino, A Mottet
arXiv preprint arXiv:1807.00985, 2018
2018
Dichotomies in Constraint Satisfaction: Canonical Functions and Numeric CSPs
A Mottet
Tractability of Constraint Satisfaction Problems and Projective Clone Homomorphisms
A Mottet
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–16