67 citations · 151 across the 41 of their papers we have counts for
Showing 2016 · math.OCShow all
2 papers · 2 filters
math.OC2016★ 32 cited
Verifying Integer Programming Results
Kevin K. H. Cheung, Ambros Gleixner, Daniel E. Steffy
Software for mixed-integer linear programming can return incorrect results for a number of reasons, one being the use of inexact floating-point arithmetic. Even solvers that employ…
math.OC2016★ 14 cited
Towards an accurate solution of wireless network design problems
Fabio D'Andreagiovanni, Ambros Gleixner
The optimal design of wireless networks has been widely studied in the literature and many optimization models have been proposed over the years. However, most models directly incl…