Computer-assisted proof of performance ratios for the differencing method
From MaRDI portal
Publication:435724
DOI10.1016/j.disopt.2011.10.001zbMath1245.90072MaRDI QIDQ435724
Wil Michiels, Frits C. R. Spieksma, Jan van Leeuwen, Emile H. L. Aarts, Jan H. M. Korst
Publication date: 12 July 2012
Published in: Discrete Optimization (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.disopt.2011.10.001
worst-case performance; mixed integer linear programming; computer-assisted proof; balanced number partitioning; differencing method; exact lp solver
Uses Software