Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for Temporal Reasoning