A constraint-based approach for validating plans with durative actions via integrating Boolean and numerical constraints
