Solving Infinite-Domain CSPs Using the Patchwork Property

Open in new window