Antoine Mottet

50 papers A* 12A 1B 3Journal 33Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Algebraic and algorithmic synergies between promise and infinite-domain CSPs. LICS Antoine Mottet
2025	J	`jnl`	Algebraic and algorithmic synergies between promise and infinite-domain CSPs. CoRR Antoine Mottet
2025	J	`jnl`	Edge-coloring problems with forbidden patterns and planted colors. CoRR Alexey Barsukov, Antoine Mottet, Davide Perinti
2025	J	`jnl`	Equations over Finite Monoids with Infinite Promises. CoRR Alberto Larrauri, Antoine Mottet, Stanislav Zivný
2025	J	`jnl`	Quantum Polymorphisms and Commutativity Gadgets. CoRR Lorenzo Ciardo, Gideo Joubert, Antoine Mottet
2024	A*	`conf`	An Order out of Nowhere: A New Algorithm for Infinite-Domain {CSP}s. ICALP Antoine Mottet, Tomás Nagy, Michael Pinsker
2024	J	`jnl`	Collapsing the Bounded Width Hierarchy for Infinite-Domain Constraint Satisfaction Problems: When Symmetries Are Enough. SIAM J. Comput. Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
2024	J	`jnl`	Complexity Classification Transfer for CSPs via Algebraic Products. SIAM J. Comput. Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Zaneta Semanisinová
2024	B	`conf`	Generalized Completion Problems with Forbidden Tournaments. MFCS Zeno Bitter, Antoine Mottet
2024	B	`conf`	Promise and Infinite-Domain Constraint Satisfaction. CSL Antoine Mottet
2024	J	`jnl`	Smooth approximations: An algebraic approach to CSPs over finitely bounded homogeneous structures. J. ACM Antoine Mottet, Michael Pinsker
2023	J	`jnl`	An order out of nowhere: a new algorithm for infinite-domain CSPs. CoRR Antoine Mottet, Michael Pinsker, Tomás Nagy
2023	A*	`conf`	Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing. LICS Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker
2023	J	`jnl`	Symmetries of structures that fail to interpret something finite. CoRR Libor Barto, Bertalan Bodor, Marcin Kozik, Antoine Mottet, Michael Pinsker
2022	J	`jnl`	Complexity Classification Transfer for CSPs via Algebraic Products. CoRR Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet, Zaneta Semanisinová
2022	A*	`conf`	Smooth approximations and CSPs over finitely bounded homogeneous structures. LICS Antoine Mottet, Michael Pinsker
2022	J	`jnl`	When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems. SIAM J. Comput. Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
2021	J	`jnl`	A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP. SIAM J. Comput. Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet
2021	A*	`conf`	Constraint Satisfaction Problems over Finite Structures. LICS Libor Barto, William J. DeMeo, Antoine Mottet
2021	J	`jnl`	Cores over Ramsey Structures. J. Symb. Log. Antoine Mottet, Michael Pinsker
2021	A*	`conf`	New Techniques for Universality in Unambiguous Register Automata. ICALP Wojciech Czerwinski, Antoine Mottet, Karin Quaas
2021	J	`jnl`	New Techniques for Universality in Unambiguous Register Automata. CoRR Wojciech Czerwinski, Antoine Mottet, Karin Quaas
2021	A*	`conf`	Smooth Approximations and Relational Width Collapses. ICALP Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
2021	J	`jnl`	Smooth Approximations and Relational Width Collapses. CoRR Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
2021	J	`jnl`	The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata. Theory Comput. Syst. Antoine Mottet, Karin Quaas
2020	J	`jnl`	Cores over Ramsey structures. CoRR Antoine Mottet, Michael Pinsker
2020	J	`jnl`	Extensions of unification modulo ACUI. Math. Struct. Comput. Sci. Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin
2020	A*	`conf`	Hrushovski's Encoding and ω-Categorical CSP Monsters. ICALP Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
2020	J	`jnl`	Smooth approximations and CSPs over finitely bounded homogeneous structures. CoRR Antoine Mottet, Michael Pinsker
2020	J	`jnl`	The Complexity of the Homomorphism Problem for Boolean structures. CoRR Libor Barto, William J. DeMeo, Antoine Mottet
2020	J	`jnl`	When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems. CoRR Pierre Gillibert, Julius Jonusas, Michael Kompatscher, Antoine Mottet, Michael Pinsker
2020	J	`jnl`	ω-categorical structures avoiding height 1 identities. CoRR Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
2019	J	`jnl`	On the Containment Problem for Unambiguous Single-Register Automata with Guessing. CoRR Antoine Mottet, Karin Quaas
2019	A	`conf`	The Containment Problem for Unambiguous Register Automata. STACS Antoine Mottet, Karin Quaas
2019	A*	`conf`	Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). LICS Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
2019	J	`jnl`	Topology is relevant (in the infinite-domain dichotomy conjecture for constraint satisfaction problems). CoRR Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard
2018	J	`jnl`	A Dichotomy for First-Order Reducts of Unary Structures. Log. Methods Comput. Sci. Manuel Bodirsky, Antoine Mottet
2018	A*	`conf`	A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. LICS Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet
2018	J	`jnl`	A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. CoRR Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet
2018	A*	`conf`	Classification Transfer for Qualitative Reasoning Problems. IJCAI Manuel Bodirsky, Peter Jonsson, Barnaby Martin, Antoine Mottet
2018	J	`jnl`	Classification transfer for qualitative reasoning problems. CoRR Barnaby Martin, Peter Jonsson, Manuel Bodirsky, Antoine Mottet
2018	J	`jnl`	Discrete Temporal Constraint Satisfaction Problems. J. ACM Manuel Bodirsky, Barnaby Martin, Antoine Mottet
2018	B	`conf`	The Complexity of Disjunctive Linear Diophantine Constraints. MFCS Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
2018	J	`jnl`	The Containment Problem for Unambiguous Register Automata. CoRR Antoine Mottet, Karin Quaas
2018	J	`jnl`	The complexity of disjunctive linear Diophantine constraints. CoRR Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet
2016	J	`jnl`	A Dichotomy for First-Order Reducts of Unary Structures. CoRR Manuel Bodirsky, Antoine Mottet
2016	J	`jnl`	Distance constraint satisfaction problems. Inf. Comput. Manuel Bodirsky, Víctor Dalmau, Barnaby Martin, Antoine Mottet, Michael Pinsker
2016	A*	`conf`	Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction. LICS Manuel Bodirsky, Antoine Mottet
2015	—	`conf`	Constraint Satisfaction Problems over the Integers with Successor. ICALP (1) Manuel Bodirsky, Barnaby Martin, Antoine Mottet
2015	J	`jnl`	Discrete Temporal Constraint Satisfaction Problems. CoRR Manuel Bodirsky, Barnaby Martin, Antoine Mottet