Dabrowski, K. K.; Jonsson, P.; Ordyniak, S.; Osipov, G. Solving Infinite-Domain CSPs Using the Patchwork Property. AAAI 2021, 35, 3715-3723.