Efficient Approach to Solve the Minimal Labeling Problem of Temporal and Spatial Qualitative Constraints