On the Decidability of Connectedness Constraints in 2D and 3D Euclidean Spaces.

Roman Kontchakov, Yavor Nenov, Ian Pratt-Hartmann, Michael Zakharyaschev

Browse the full IJCAI paper archive.