K. K. Dabrowski, P. Jonsson, S. Ordyniak, and G. Osipov, “Solving Infinite-Domain CSPs Using the Patchwork Property”, AAAI, vol. 35, no. 5, pp. 3715-3723, May 2021.