Equations in oligomorphic clones and the Constraint Satisfaction Problem for $\omega$-categorical structures

Libor Barto, Michael Kompatscher, Miroslav Olšák +2

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of…