Efficient Methods for Qualitative Spatial Reasoning