Constraint Reasoning for Differential Models Jorge Cruz CENTRIA - Centre for Artificial Intelligence DI/FCT/UNL June 2009 PRESENTATION OUTLINE Constraint Reasoning for Differential…