20 citations · 85 across the 19 of their papers we have counts for
5 papers · 1 filter
Smooth approximations and CSPs over finitely bounded homogeneous structures
Antoine Mottet, Michael Pinsker
We develop the novel machinery of smooth approximations, and apply it to confirm the CSP dichotomy conjecture for first-order reducts of the random tournament, various homogeneous…
Constraint Satisfaction Problems over Finite Structures
Libor Barto, William DeMeo, Antoine Mottet
We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both relations and operations. W…
ω-categorical structures avoiding height 1 identities
Manuel Bodirsky, Antoine Mottet, Miroslav Olšák +3
The algebraic dichotomy conjecture for Constraint Satisfaction Problems (CSPs) of reducts of (infinite) finitely bounded homogeneous structures states that such CSPs are polynomial…
Cores over Ramsey structures
Antoine Mottet, Michael Pinsker
We prove that if an -categorical structure has an -categorical homogeneous Ramsey expansion, then so does its model-complete core.
When symmetries are not enough: a hierarchy of hard Constraint Satisfaction Problems
Pierre Gillibert, Julius Jonušas, Michael Kompatscher +2
We produce a class of -categorical structures with finite signature by applying a model-theoretic construction -- a refinement of the Hrushosvki-encoding -- to -categorical s…