Integrating Constraint Satisfaction and Spatial Reasoning