Dabrowski, Konrad K, Peter Jonsson, Sebastian Ordyniak, and George Osipov. “Solving Infinite-Domain CSPs Using the Patchwork Property”. Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 5 (May 18, 2021): 3715-3723. Accessed April 30, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/16488.