Solving Infinite-Domain CSPs Using the Patchwork Property.

Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

Browse the full AAAI paper archive.