The top documents tagged [cutslp solvers]