20 citations · 85 across the 19 of their papers we have counts for
3 papers · 2 filters
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…
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…