SAT-Based Procedures for Temporal Reasoning