Maximal vertex-connectivity of. - Eddie Cheng 001; William A. Lindsey; Daniel E. Steffy (Networks, 2005)

Exact solutions to linear systems of equations using output sensitive lifting. - Daniel E. Steffy (ACM Commun. Comput. Algebra, 2010)

An Exact Rational Mixed-Integer Programming Solver. - William J. Cook; Thorsten Koch; Daniel E. Steffy; Kati Wolter (IPCO, 2011)

MIPLIB 2010. - Thorsten Koch; Tobias Achterberg; Erling Andersen; Oliver Bastert; Timo Berthold; Robert E. Bixby; Emilie Danna; Gerald Gamrath; Ambros M. Gleixner; Stefan Heinz 001; Andrea Lodi 001; Hans D. Mittelmann; et al. (Math. Program. Comput., 2011)

Solving Very Sparse Rational Systems of Equations. - William J. Cook; Daniel E. Steffy (ACM Trans. Math. Softw., 2011)

Topics in exact precision mathematical programming. - Daniel E. Steffy (2011)

Improving the accuracy of linear programming solvers with iterative refinement. - Ambros M. Gleixner; Daniel E. Steffy; Kati Wolter (ISSAC, 2012)

East coast computer algebra day 2012 abstracts. - Tony Shaska; Daniel E. Steffy (ACM Commun. Comput. Algebra, 2012)

Exact linear and integer programming: tutorial abstract. - Daniel E. Steffy (ISSAC, 2013)

Valid Linear Programming Bounds for Exact Mixed-Integer Programming. - Daniel E. Steffy; Kati Wolter (INFORMS J. Comput., 2013)

Strong local diagnosability of (n, k)(n, k)-star graphs and Cayley graphs generated by 2-trees with missing edges. - Eddie Cheng 001; László Lipták; Daniel E. Steffy (Inf. Process. Lett., 2013)

A hybrid branch-and-bound approach for exact rational mixed-integer programming. - William J. Cook; Thorsten Koch; Daniel E. Steffy; Kati Wolter (Math. Program. Comput., 2013)

Strong matching preclusion for augmented cubes. - Eddie Cheng 001; Shalin Shah; Vyom Shah; Daniel E. Steffy (Theor. Comput. Sci., 2013)

Iterative Refinement for Linear Programming. - Ambros M. Gleixner; Daniel E. Steffy; Kati Wolter (INFORMS J. Comput., 2016)

On sublinear inequalities for mixed integer conic programs. - Fatma Kilinç-Karzan; Daniel E. Steffy (Math. Program., 2016)

Verifying Integer Programming Results. - Kevin K. H. Cheung; Ambros M. Gleixner; Daniel E. Steffy (IPCO, 2017)

Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization. - Matthias Miltenberger; Ted K. Ralphs; Daniel E. Steffy (OR, 2017)

On the Problem of Determining which (n, k)-Star Graphs are Cayley Graphs. - Eddie Cheng 001; Li Li 018; László Lipták; Sangho Shim; Daniel E. Steffy (Graphs Comb., 2017)

A Complete Classification of Which (n, k)-Star Graphs are Cayley Graphs. - Karimah Sweet; Li Li 018; Eddie Cheng 001; László Lipták; Daniel E. Steffy (Graphs Comb., 2018)

A concise characterization of strong knapsack facets. - Sunil Chopra; Sangho Shim; Daniel E. Steffy (Discret. Appl. Math., 2019)

Linear programming using limited-precision oracles. - Ambros M. Gleixner; Daniel E. Steffy (Math. Program., 2020)