Antoine Mottet

See also Google Scholar, DBLP, arXiv, ORCID.

Publications in peer-reviewed journals

  1. When Symmetries are not Enough: a Hierarchy of Hard Constraint Satisfaction Problems.

    Pierre Gillibert, Yannis Jonušas, Michael Kompatscher, Antoine Mottet, Michael Pinsker.
    SIAM Journal on Computing. 2022.
    DOI Preprint

  2. A proof of the algebraic tractability conjecture for Monotone Monadic SNP.

    Manuel Bodirsky, Florent Madelaine, Antoine Mottet.
    SIAM Journal on Computing. 2021.
    DOI Preprint

  3. Cores over Ramsey structures.

    Antoine Mottet, Michael Pinsker.
    Journal of Symbolic Logic. 2021.
    DOI Preprint

  4. $\omega$-categorical structures avoiding height 1 identities.

    Manuel Bodirsky, Antoine Mottet, Mirek Olšák, Jakub Opršal, Michael Pinsker, Ross Willard.
    Transactions of the AMS. 2021.
    DOI Preprint

  5. The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata.

    Antoine Mottet, Karin Quaas.
    Theory of Computing Systems. 2021.
    DOI Preprint

  6. Extensions of Unification modulo ACUI.

    Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin.
    Mathematical Structures in Computer Science. 2020.
    DOI

  7. A Dichotomy for First-Order Reducts of Unary Structures.

    Manuel Bodirsky, Antoine Mottet.
    Logical Methods in Computer Science. 2018.
    DOI Preprint

  8. Discrete Temporal Constraint Satisfaction Problems.

    Manuel Bodirsky, Barnaby Martin, Antoine Mottet.
    Journal of the ACM. 2018.
    DOI Preprint

  9. Distance Constraint Satisfaction Problems.

    Manuel Bodirsky, Victor Dalmau, Barnaby Martin, Antoine Mottet, Michael Pinsker.
    Information and Computation. 2016.
    DOI Preprint

Theses

  • Dichotomies in Constraint Satisfaction: Canonical Functions and Numeric CSPs.

    I have been awarded the Ackermann award 2019 of the European Association for Computer Science Logic for this work.
    PhD thesis.

  • Tractability of Constraint Satisfaction Problems and Projective Clone Homomorphisms.

    Thesis written during the "pre-doctoral year" funded by the École Normale Supérieure of Cachan.

  • A maximally tractable fragment of temporal reasoning plus successor.

    Masters dissertation.

Extended abstracts in conference proceedings

  1. Smooth Approximations and CSPs over finitely bounded homogeneous structures.

    Antoine Mottet, Michael Pinsker.
    To appear in Proceedings of LICS 2022.
    Preprint

  2. New Techniques for Universality in Unambiguous Register Automata.

    Wojciech Czerwiński, Antoine Mottet, Karin Quaas.
    In Proceedings of ICALP 2021.
    DOI Preprint

  3. Smooth Approximations and Relational Width Collapses.

    Antoine Mottet, Tomáš Nagy, Michael Pinsker, Michal Wrona.
    In Proceedings of ICALP 2021.
    DOI Preprint

  4. Constraint Satisfaction Problems over Finite Structures.

    Libor Barto, William DeMeo, Antoine Mottet.
    In Proceedings of LICS 2021.
    Preprint

  5. Hrushovski's encoding and $\omega$-categorical CSP monsters.

    Pierre Gillibert, Julius Jonušas, Michael Kompatscher, Antoine Mottet, Michael Pinsker.
    In Proceedings of ICALP 2020.
    DOI

  6. Topology is relevant (in the dichotomy conjecture for infinite domain constraint satisfaction problems).

    Manuel Bodirsky, Antoine Mottet, Mirek Olšák, Jakub Opršal, Michael Pinsker, Ross Willard.
    In Proceedings of LICS 2019.
    DOI Preprint

  7. The containment problem for Unambiguous Register Automata.

    Antoine Mottet, Karin Quaas.
    In Proceedings of STACS 2019.
    DOI

  8. The complexity of disjunctive linear Diophantine constraints.

    Manuel Bodirsky, Marcello Mamino, Barnaby Martin, Antoine Mottet.
    In Proceedings of MFCS 2018.
    DOI Preprint

  9. Classification Transfer for Qualitative Reasoning Problems.

    Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet.
    In Proceedings IJCAI 2018.
    DOI Preprint

  10. A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP.

    Manuel Bodirsky, Florent Madelaine, Antoine Mottet.
    In Proceedings of LICS 2018.
    DOI Preprint

  11. Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction.

    Manuel Bodirsky, Antoine Mottet.
    In Proceedings of LICS 2016.
    DOI Preprint

  12. Constraint Satisfaction Problems over the Integers with Successor.

    Manuel Bodirsky, Barnaby Martin, Antoine Mottet.
    In Proceedings of ICALP 2015.
    DOI Preprint