The following pages link to Antoine Mottet (Q259045):
Displayed 23 items.
- Distance constraint satisfaction problems (Q259047) (← links)
- The containment problem for unambiguous register automata and unambiguous timed automata (Q2048204) (← links)
- Constraint Satisfaction Problems over the Integers with Successor (Q3448790) (← links)
- Discrete Temporal Constraint Satisfaction Problems (Q4561495) (← links)
- Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction (Q4635923) (← links)
- A Dichotomy for First-Order Reducts of Unary Structures (Q4643958) (← links)
- A Proof of the Algebraic Tractability Conjecture for Monotone Monadic SNP (Q4957913) (← links)
- CORES OVER RAMSEY STRUCTURES (Q5000273) (← links)
- (Q5005133) (← links)
- When Symmetries Are Not Enough: A Hierarchy of Hard Constraint Satisfaction Problems (Q5067445) (← links)
- The Containment Problem for Unambiguous Register Automata (Q5090504) (← links)
- Extensions of unification modulo ACUI (Q5139274) (← links)
- 𝜔-categorical structures avoiding height 1 identities (Q5141754) (← links)
- A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP (Q5145282) (← links)
- The complexity of disjunctive linear Diophantine constraints (Q6303793) (← links)
- Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems) (Q6312430) (← links)
- Cores over Ramsey structures (Q6338603) (← links)
- Constraint Satisfaction Problems over Finite Structures (Q6350956) (← links)
- Smooth approximations and CSPs over finitely bounded homogeneous structures (Q6353233) (← links)
- Complexity Classification Transfer for CSPs via Algebraic Products (Q6416342) (← links)
- An order out of nowhere: a new algorithm for infinite-domain CSPs (Q6424834) (← links)
- Symmetries of structures that fail to interpret something finite (Q6427428) (← links)
- Finite Algebras with Hom-Sets of Polynomial Size (Q6443643) (← links)