The top documents tagged [provably optimal]

cplex
126 views
ampl110
21 views