Solving The Max-Cut Problem Using Semidefinite Optimization In A Cutting Plane Algorithm.