Branch-and-Cut Validation and Review Protocol | Branch-and-Cut | Mathematics | NEROS