Antoine Mottet

See also Google Scholar, DBLP, arXiv, ORCID.

Publications in peer-reviewed journals

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

    Antoine Mottet, Karin Quaas.
    Accepted for publication in Theory of Computing Systems. 2020.
    DOI Preprint
  2. $\omega$-categorical structures avoiding height 1 identities.

    Manuel Bodirsky, Antoine Mottet, Mirek Olšák, Jakub Opršal, Michael Pinsker, Ross Willard.
    Accepted for publication in Transactions of the AMS. 2020.
    DOI Preprint
  3. Extensions of Unification modulo ACUI.

    Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin.
    Mathematical Structures in Computer Science. 2019.
    DOI
  4. A Dichotomy for First-Order Reducts of Unary Structures.

    Manuel Bodirsky, Antoine Mottet.
    Logical Methods in Computer Science. 2018.
    DOI Preprint Bibtex
    @article{BodMot-Unary,
    Title           = {{A Dichotomy for First-Order Reducts of Unary Structures}},
    Journal		= {{Logical Methods in Computer Science}},
    Author          = {Bodirsky, Manuel and Mottet, Antoine},
    Year            = {2018},
    Volume		= {14},
    Issue		= {2},
    Doi		= {http://dx.doi.org/10.23638/LMCS-14(2:13)2018}
    }
            
  5. Discrete Temporal Constraint Satisfaction Problems.

    Manuel Bodirsky, Barnaby Martin, Antoine Mottet.
    Journal of the ACM. 2018.
    DOI Preprint Bibtex
    @article{BodMarMot-JACM,
    Title           = {Discrete {T}emporal {C}onstraint {S}atisfaction {P}roblems},
    Journal		= {Journal of the {ACM}},
    Author          = {Bodirsky, Manuel and Martin, Barnaby and Mottet, Antoine},
    Year            = {2018},
    Volume		= {65},
    Issue		= {2},
    Month		= mar,
    Doi		= {http://dx.doi.org/10.1145/3154832}
    }
            
  6. Distance Constraint Satisfaction Problems.

    Manuel Bodirsky, Victor Dalmau, Barnaby Martin, Antoine Mottet, Michael Pinsker.
    Information and Computation. 2016.
    DOI Preprint Bibtex
    @article{BodirskyDalmauMartinMottetPinsker-InfComp2016,
    author = {Bodirsky, Manuel and Dalmau, V\'ictor and Martin, Barnaby and
                   Mottet, Antoine and Pinsker, Michael},
    title = {{Distance Constraint Satisfaction Problems}},
    year = {2016},
    journal = {{Information and Computation}},
    volume = {247},
    pages = {87--105},
    doi = {http://dx.doi.org/10.1016/j.ic.2015.11.010}
                }
            

Theses

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

    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. 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 Preprint
  2. 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 the 34th Annual Symposium of Logic in Computer Science (LICS). 2019.
    DOI Preprint Bibtex
    @inproceedings{DBLP:conf/lics/BodirskyMOOPW19,
      author    = {Manuel Bodirsky and
                   Antoine Mottet and
                   Miroslav Ols{\'{a}}k and
                   Jakub Oprsal and
                   Michael Pinsker and
                   Ross Willard},
      title     = {Topology is relevant (in a dichotomy conjecture for infinite-domain
                   constraint satisfaction problems)},
      booktitle = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                   2019, Vancouver, BC, Canada, June 24-27, 2019},
      pages     = {1--12},
      year      = {2019},
      crossref  = {DBLP:conf/lics/2019},
      url       = {https://doi.org/10.1109/LICS.2019.8785883},
      doi       = {10.1109/LICS.2019.8785883},
      timestamp = {Sun, 11 Aug 2019 19:08:20 +0200},
      biburl    = {https://dblp.org/rec/bib/conf/lics/BodirskyMOOPW19},
      bibsource = {dblp computer science bibliography, https://dblp.org}
    }
            
  3. The containment problem for Unambiguous Register Automata.

    Antoine Mottet, Karin Quaas.
    In Proceedings of STACS 2019.
    DOI Bibtex
        @InProceedings{LIPIcs:2019:10292,
      author =	{Antoine Mottet and Karin Quaas},
      title =	{{The Containment Problem for Unambiguous Register Automata}},
      booktitle =	{36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)},
      pages =	{53:1--53:15},
      series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
      ISBN =	{978-3-95977-100-9},
      ISSN =	{1868-8969},
      year =	{2019},
      volume =	{126},
      editor =	{Rolf Niedermeier and Christophe Paul},
      publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
      address =	{Dagstuhl, Germany},
      URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10292},
      doi =		{10.4230/LIPIcs.STACS.2019.53},
      annote =	{Keywords: Data words, Register automata, Unambiguous Automata, Containment Problem, Language Inclusion Problem}
    }
      
  4. The complexity of disjunctive linear Diophantine constraints.

    Manuel Bodirsky, Marcello Mamino, Barnaby Martin, Antoine Mottet.
    In Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS). 2018
    DOI Preprint Bibtex
        @InProceedings{BodMadMarMot-MFCS,
          Title                    = {The complexity of disjunctive linear Diophantine constraints},
          Booktitle		             = {Proceedings of MFCS'18},
          Author                   = {Bodirsky, Manuel and Mamino, Marcello and Martin, Barnaby and Mottet, Antoine},
          Year                     = {2018},
          Pages                    = {33:1--33:16},
          Series                   = {Leibniz International Proceedings in Informatics (LIPIcs)},
          Doi                      = {http://dx.doi.org/10.4230/LIPIcs.MFCS.2018.33}
        }
      
  5. Classification Transfer for Qualitative Reasoning Problems.

    Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet.
    In Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI). 2018.
    DOI Preprint Bibtex
            @InProceedings{BodJonMarMot-IJCAI,
          Title          = {Classification Transfer for Qualitative Reasoning Problems},
          Booktitle		   = {Proceedings of IJCAI'18},
          Author         = {Bodirsky, Manuel and Jonsson, Peter and Martin, Barnaby and Mottet, Antoine},
          Year           = {2018},
          Doi			       = {http://dx.doi.org/10.24963/ijcai.2018/175},
          Pages		   	   = {1256--1262}
    }
    
          
  6. A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP.

    Manuel Bodirsky, Florent Madelaine, Antoine Mottet.
    In Proceedings of the 33rd Annual Symposium of Logic in Computer Science (LICS). 2018.
    DOI Preprint Bibtex
          @InProceedings{BodMadMot-LICS,
            Title      = {A universal-algebraic proof of the dichotomy for Monotone Monadic SNP},
            Booktitle	 = {Proceedings of LICS'18},
            Author     = {Bodirsky, Manuel and Madelaine, Florent and Mottet, Antoine},
            Year       = {2018},
            Doi			   = {http://dx.doi.org/10.1145/3209108.3209156},
            Pages		   = {105-114}
          }
        
  7. Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction.

    Manuel Bodirsky, Antoine Mottet.
    In Proceedings of the 31st Annual Symposium of Logic in Computer Science (LICS). 2016.
    DOI Preprint Bibtex
                @inproceedings{BodirskyMottet-LICS2016,
                    author = {Bodirsky, Manuel and Mottet, Antoine},
                    title = {{Reducts of Finitely Bounded Homogeneous Structures,
                                    and Lifting Tractability from Finite-Domain Constraint Satisfaction}},
                    year = {2016},
    		pages = {623--632},
    		doi = {http://dx.doi.org/10.1145/2933575.2934515},
                    booktitle = {Proceedings of the 31st annual symposium of logic in computer science (LICS)}
                }
            
  8. Constraint Satisfaction Problems over the Integers with Successor.

    Manuel Bodirsky, Barnaby Martin, Antoine Mottet.
    In Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP). 2015.
    DOI Preprint Bibtex
                @inproceedings{BodirskyMartinMottet-ICALP2015,
                    author = {Bodirsky, Manuel and Martin, Barnaby and Mottet, Antoine},
                    title = {{Constraint Satisfaction Problems over the Integers with Successor}},
                    year = {2015},
    		pages = {256--267},
    		series = {LNCS},
    		volume = {9134},
    		doi = {http://dx.doi.org/10.1007/978-3-662-47672-7_21},
                    booktitle = {Proceedings of the 42nd International colloquium on automata,
                                    languages and programming (ICALP)}
                }