Antoine Mottet

According to our database1, Antoine Mottet authored at least 19 papers between 2015 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:



Extensions of unification modulo ACUI.
Math. Struct. Comput. Sci., 2020

Smooth approximations and CSPs over finitely bounded homogeneous structures.
CoRR, 2020

The Complexity of the Homomorphism Problem for Boolean structures.
CoRR, 2020

ω-categorical structures avoiding height 1 identities.
CoRR, 2020

Cores over Ramsey structures.
CoRR, 2020

When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems.
CoRR, 2020

Hrushovski's Encoding and ω-Categorical CSP Monsters.
Proceedings of the 47th International Colloquium on Automata, Languages, and Programming, 2020

On the Containment Problem for Unambiguous Single-Register Automata with Guessing.
CoRR, 2019

Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems).
CoRR, 2019

The Containment Problem for Unambiguous Register Automata.
Proceedings of the 36th International Symposium on Theoretical Aspects of Computer Science, 2019

Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems).
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

A Dichotomy for First-Order Reducts of Unary Structures.
Log. Methods Comput. Sci., 2018

Discrete Temporal Constraint Satisfaction Problems.
J. ACM, 2018

The Complexity of Disjunctive Linear Diophantine Constraints.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018

A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP.
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Classification Transfer for Qualitative Reasoning Problems.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Distance constraint satisfaction problems.
Inf. Comput., 2016

Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction.
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Constraint Satisfaction Problems over the Integers with Successor.
Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015