Constraint Formulation Validation and Review Protocol | Constraint Formulation | Mathematics | NEROS