The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems

Libor Barto, Michael Kompatscher, Miroslav Olsák, Trung Van Pham, Michael Pinsker. The equivalence of two dichotomy conjectures for infinite domain constraint satisfaction problems. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017. pages 1-12, IEEE Computer Society, 2017. [doi]

Abstract

Abstract is missing.