2021

• A proof of the algebraic tractability conjecture for monotone monadic SNP
  Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine
  SIAM Journal on Computing 50 (4) : (2021)
  Publisher DOI
• ω-categorical structures avoiding height 1 identities
  Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross
  Transactions of the American Mathematical Society 374 (1): 327-350 (2021-01)
  Publisher DOI
• CORES over RAMSEY STRUCTURES
  Mottet, Antoine; Pinsker, Michael
  Journal of Symbolic Logic 86 (1): 352-361 (2021-03)
  Publisher DOI
• The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata
  Mottet, Antoine; Quaas, Karin
  Theory of Computing Systems 65 (4): 706-735 (2021-05)
  Publisher DOI
• Constraint Satisfaction Problems over Finite Structures
  Barto, Libor; Demeo, William; Mottet, Antoine
  36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2021)
  Publisher DOI
• Smooth approximations and relational width collapses
  Mottet, Antoine; Nagy, Tomáš; Pinsker, Michael; Wrona, Michał
  48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
  Publisher DOI
• New techniques for universality in unambiguous register automata
  Czerwiński, Wojciech; Mottet, Antoine; Quaas, Karin
  48th International Colloquium on Automata, Languages, and Programming (ICALP 2021)
  Publisher DOI

2020

• Extensions of unificationmodulo ACUI
  Baader, Franz; Marantidis, Pavlos; Mottet, Antoine; Okhotin, Alexander
  Mathematical Structures in Computer Science 30 (6): 597-626 (2020-06-01)
  Publisher DOI
• Hrushovski's encoding and ω-categorical CSP monsters
  Gillibert, Pierre; Jonušas, Julius; Kompatscher, Michael; Mottet, Antoine; Pinsker, Michael
  47th International Colloquium on Automata, Languages, and Programming (ICALP 2020)
  Publisher DOI

2019

• The containment problem for unambiguous register automata
  Mottet, Antoine; Quaas, Karin
  36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019)
  Publisher DOI
• Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
  Bodirsky, Manuel; Mottet, Antoine; Olšák, Miroslav; Opršal, Jakub; Pinsker, Michael; Willard, Ross
  Symposium on Logic in Computer Science (2019)
  Publisher DOI

2018

• Discrete temporal constraint satisfaction problems
  Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
  Journal of the ACM 65 (2): 9 (2018-02)
  Publisher DOI
• A dichotomy for first-order reducts of unary structures
  Bodirsky, Manuel; Mottet, Antoine
  Logical Methods in Computer Science 14 (2) : 13 (2018-05-22)
  Publisher DOI
• A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
  Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine
  33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
  Publisher DOI
• Classification transfer for qualitative reasoning problems
  Bodirsky, Manuel; Jonsson, Peter; Martin, Barnaby; Mottet, Antoine
  27th International Joint Conference on Artificial Intelligence (IJCAI 2018)
  Publisher DOI
• The complexity of disjunctive linear diophantine constraints
  Bodirsky, Manuel; Martin, Barnaby; Mamino, Marcello; Mottet, Antoine
  43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)
  Publisher DOI

2016

• Distance constraint satisfaction problems
  Bodirsky, Manuel; Dalmau, Victor; Martin, Barnaby; Mottet, Antoine; Pinsker, Michael
  Information and Computation 247 : 87-105 (2016-04-01)
  Publisher DOI
• Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
  Bodirsky, Manuel; Mottet, Antoine
  31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016)
  Publisher DOI

2015

• Constraint satisfaction problems over the integers with successor
  Bodirsky, Manuel; Martin, Barnaby; Mottet, Antoine
  42nd International Colloquium on Automata, Languages and Programming (ICALP 2015)
  Publisher DOI