2015 IJCAI IJCAI 2015

Efficiently Characterizing Non-Redundant Constraints in Large Real World Qualitative Spatial Networks