Carl P. L. Schultz, Mehul Bhatt. Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning. In Sara Irina Fabrikant, Martin Raubal, Michela Bertolotto, Clare Davies, Scott M. Freundschuh, Scott Bell, editors, Spatial Information Theory - 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings. Volume 9368 of Lecture Notes in Computer Science, pages 331-353, Springer, 2015. [doi]
Abstract is missing.