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 | 525 | 2011 |

Iterative refinement for linear programming AM Gleixner, DE Steffy, K Wolter INFORMS Journal on Computing 28 (3), 449-464, 2016 | 89 | 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 | 78 | 2013 |

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 | 64 | 2012 |

An exact rational mixed-integer programming solver W Cook, T Koch, DE Steffy, K Wolter Integer Programming and Combinatoral Optimization: 15th International …, 2011 | 63 | 2011 |

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 | 29 | 2013 |

Strong matching preclusion for augmented cubes E Cheng, S Shah, V Shah, DE Steffy Theoretical computer science 491, 71-77, 2013 | 28 | 2013 |

Verifying integer programming results KKH Cheung, A Gleixner, DE Steffy Integer Programming and Combinatorial Optimization: 19th International …, 2017 | 22 | 2017 |

Valid linear programming bounds for exact mixed-integer programming DE Steffy, K Wolter INFORMS Journal on Computing 25 (2), 271-284, 2013 | 21 | 2013 |

Topics in exact precision mathematical programming DE Steffy Georgia Institute of Technology, 2010 | 18 | 2010 |

Solving very sparse rational systems of equations W Cook, DE Steffy ACM Transactions on Mathematical Software (TOMS) 37 (4), 1-21, 2011 | 15 | 2011 |

Scheduling a conference to minimize attendee preference conflicts J Quesnelle, D Steffy Proceedings of the 7th multidisciplinary international conference on …, 2015 | 14* | 2015 |

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 | 13 | 2018 |

Exact solutions to linear systems of equations using output sensitive lifting DE Steffy ACM Communications in Computer Algebra 44 (3/4), 160-182, 2011 | 13 | 2011 |

Linear programming using limited-precision oracles A Gleixner, DE Steffy Mathematical Programming 183 (1-2), 525-554, 2020 | 12 | 2020 |

On sublinear inequalities for mixed integer conic programs F Kılınē-Karzan, DE Steffy Mathematical Programming 159 (1-2), 585-605, 2016 | 12 | 2016 |

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 |