Weextendthe frameworkof simple temporalproblems studied originally by Dechter,MeiriandPearl to consider constraints of the formxl - yl < rl V... v xn yn <_rn, wherexl ... xn, yl ... yn are variablesranging overthe real numbers,rl... rn are real constants,