67 citations · 151 across the 41 of their papers we have counts for
3 papers · 1 filter
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…
Mixed-Integer Programming for Cycle Detection in Non-reversible Markov Processes
Isabel Beckenbach, Leon Eifler, Konstantin Fackeldey +4
In this paper, we present a new, optimization-based method to exhibit cyclic behavior in non-reversible stochastic processes. While our method is general, it is strongly motivated…
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…