MIPLIB 2010 T Koch, T Achterberg, E Andersen, O Bastert, T Berthold, RE Bixby, ... Mathematical Programming Computation 3 (2), 103, 2011 | 431 | 2011 |

An exact rational mixed-integer programming solver W Cook, T Koch, DE Steffy, K Wolter International Conference on Integer Programming and Combinatorial …, 2011 | 54 | 2011 |

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

Iterative refinement for linear programming AM Gleixner, DE Steffy, K Wolter INFORMS Journal on Computing 28 (3), 449-464, 2016 | 47 | 2016 |

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

Strong matching preclusion for augmented cubes E Cheng, S Shah, V Shah, DE Steffy Theoretical Computer Science 491, 71-77, 2013 | 21 | 2013 |

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

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

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 |

Topics in exact precision mathematical programming DE Steffy Georgia Institute of Technology, 2011 | 13 | 2011 |

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

Clinching and elimination of playoff berth in the NHL E Cheng, D Steffy International Journal of Operations Research 5 (187-192), 17, 2008 | 11 | 2008 |

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

Verifying integer programming results KKH Cheung, A Gleixner, DE Steffy International Conference on Integer Programming and Combinatorial …, 2017 | 9 | 2017 |

Exploring the numerics of branch-and-cut for mixed integer linear optimization M Miltenberger, T Ralphs, DE Steffy Operations Research Proceedings 2017, 151-157, 2018 | 8 | 2018 |

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

Maximal vertex‐connectivity of S_n,k E Cheng, WA Lindsey, DE Steffy Networks: An International Journal 46 (3), 154-162, 2005 | 8 | 2005 |

Mixed integer programming library version 5 T Koch, T Berthold, G Gamrath, AM Gleixner, S Heinz, DE Steffy, K Wolter, ... Math. Prog. Comp.(2011) 3, 103-163, 2011 | 7 | 2011 |

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 | 7 | 2004 |

A few strong knapsack facets S Chopra, S Shim, DE Steffy Modeling and Optimization: Theory and Applications, 77-94, 2015 | 4 | 2015 |