An order out of nowhere: a new algorithm for infinite-domain CSPs

Antoine Mottet, Tomáš Nagy, Michael Pinsker

We consider the problem of satisfiability of sets of constraints in a given set of finite uniform hypergraphs. While the problem under consideration is similar in nature to the pro…