| MIPLIB 2010: Mixed integer programming library version 5 T Koch, T Achterberg, E Andersen, O Bastert, T Berthold, RE Bixby, ... Mathematical Programming Computation 3, 103-163, 2011 | 533 | 2011 |
| Iterative refinement for linear programming AM Gleixner, DE Steffy, K Wolter INFORMS Journal on Computing 28 (3), 449-464, 2016 | 93 | 2016 |
| A hybrid branch-and-bound approach for exact rational mixed-integer programming W Cook, T Koch, DE Steffy, K Wolter Mathematical Programming Computation 5 (3), 305-344, 2013 | 93 | 2013 |
| An exact rational mixed-integer programming solver W Cook, T Koch, DE Steffy, K Wolter Integer Programming and Combinatoral Optimization: 15th International …, 2011 | 67 | 2011 |
| Improving the accuracy of linear programming solvers with iterative refinement AM Gleixner, DE Steffy, K Wolter Proceedings of the 37th International Symposium on Symbolic and Algebraic …, 2012 | 65 | 2012 |
| Verifying integer programming results KKH Cheung, A Gleixner, DE Steffy Integer Programming and Combinatorial Optimization: 19th International …, 2017 | 36 | 2017 |
| Strong local diagnosability of (n, k)-star graphs and Cayley graphs generated by 2-trees with missing edges E Cheng, L Lipták, DE Steffy Information Processing Letters 113 (12), 452-456, 2013 | 31 | 2013 |
| Strong matching preclusion for augmented cubes E Cheng, S Shah, V Shah, DE Steffy Theoretical computer science 491, 71-77, 2013 | 28 | 2013 |
| Valid linear programming bounds for exact mixed-integer programming DE Steffy, K Wolter INFORMS Journal on Computing 25 (2), 271-284, 2013 | 22 | 2013 |
| Topics in exact precision mathematical programming DE Steffy Georgia Institute of Technology, 2010 | 21 | 2010 |
| Linear programming using limited-precision oracles A Gleixner, DE Steffy Mathematical Programming 183 (1), 525-554, 2020 | 18 | 2020 |
| Scheduling a conference to minimize attendee preference conflicts J Quesnelle, D Steffy Proceedings of the 7th multidisciplinary international conference on …, 2015 | 18* | 2015 |
| Solving very sparse rational systems of equations W Cook, DE Steffy ACM Transactions on Mathematical Software (TOMS) 37 (4), 1-21, 2011 | 17 | 2011 |
| Exploring the numerics of branch-and-cut for mixed integer linear optimization M Miltenberger, T Ralphs, DE Steffy Operations Research Proceedings 2017: Selected Papers of the Annual …, 2018 | 14 | 2018 |
| On sublinear inequalities for mixed integer conic programs F Kılınç-Karzan, DE Steffy Mathematical Programming 159 (1), 585-605, 2016 | 12 | 2016 |
| Exact solutions to linear systems of equations using output sensitive lifting DE Steffy ACM Communications in Computer Algebra 44 (3/4), 160-182, 2011 | 12 | 2011 |
| Clinching and elimination of playoff berth in the NHL E Cheng, D Steffy International Journal of Operations Research 5 (187-192), 17, 2008 | 12 | 2008 |
| Maximal vertex‐connectivity of S_n,k E Cheng, WA Lindsey, DE Steffy Networks: An International Journal 46 (3), 154-162, 2005 | 10 | 2005 |
| A strictly combinatorial approach to a university exam scheduling problem E Cheng, RP Kleinberg, SG Kruk, WA Lindsay, DE Steffy Congressus Numerantium 167, 121, 2004 | 9 | 2004 |
| A few strong knapsack facets S Chopra, S Shim, DE Steffy Modeling and Optimization: Theory and Applications: MOPTA, Bethlehem, PA …, 2015 | 5 | 2015 |