Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction

Michael Pinsker, Jakub Rydval, Moritz Schöbi +2

The Feder-Vardi dichotomy conjecture for Constraint Satisfaction Problems (CSPs) with finite templates, confirmed independently by Bulatov and Zhuk, has an extension to certain wel…