Daniel E. Steffy

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 11

Top Topics

Dantzig Wolfe Decomposition

Valid Inequalities

Iterative Refinement

Top Venues

Publications

Ambros M. Gleixner, Daniel E. Steffy
Linear programming using limited-precision oracles. Math. Program. 183 (1) (2020)
Ambros M. Gleixner, Daniel E. Steffy
Linear Programming Using Limited-Precision Oracles. IPCO (2019)
Sunil Chopra, Sangho Shim, Daniel E. Steffy
A concise characterization of strong knapsack facets. Discret. Appl. Math. 253 (2019)
Ambros M. Gleixner, Daniel E. Steffy
Linear Programming using Limited-Precision Oracles. CoRR (2019)
Karimah Sweet, Li Li, Eddie Cheng, László Lipták, Daniel E. Steffy
A Complete Classification of Which (n, k)-Star Graphs are Cayley Graphs. Graphs Comb. 34 (1) (2018)
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
Verifying Integer Programming Results. IPCO (2017)
Eddie Cheng, Li Li, László Lipták, Sangho Shim, Daniel E. Steffy
On the Problem of Determining which (n, k)-Star Graphs are Cayley Graphs. Graphs Comb. 33 (1) (2017)
Matthias Miltenberger, Ted K. Ralphs, Daniel E. Steffy
Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization. OR (2017)
Fatma Kilinç-Karzan, Daniel E. Steffy
On sublinear inequalities for mixed integer conic programs. Math. Program. 159 (1-2) (2016)
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
Iterative Refinement for Linear Programming. INFORMS J. Comput. 28 (3) (2016)
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
Verifying Integer Programming Results. CoRR (2016)
Eddie Cheng, László Lipták, Daniel E. Steffy
)(n, k)-star graphs and Cayley graphs generated by 2-trees with missing edges. Inf. Process. Lett. 113 (12) (2013)
William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
A hybrid branch-and-bound approach for exact rational mixed-integer programming. Math. Program. Comput. 5 (3) (2013)
Daniel E. Steffy
Exact linear and integer programming: tutorial abstract. ISSAC (2013)
Eddie Cheng, Shalin Shah, Vyom Shah, Daniel E. Steffy
Strong matching preclusion for augmented cubes. Theor. Comput. Sci. 491 (2013)
Daniel E. Steffy, Kati Wolter
Valid Linear Programming Bounds for Exact Mixed-Integer Programming. INFORMS J. Comput. 25 (2) (2013)
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
Improving the accuracy of linear programming solvers with iterative refinement. ISSAC (2012)
Tony Shaska, Daniel E. Steffy
East coast computer algebra day 2012 abstracts. ACM Commun. Comput. Algebra 46 (1/2) (2012)
William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
An Exact Rational Mixed-Integer Programming Solver. IPCO (2011)
Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros M. Gleixner, Stefan Heinz, Andrea Lodi, Hans D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter
MIPLIB 2010. Math. Program. Comput. 3 (2) (2011)
William J. Cook, Daniel E. Steffy
Solving Very Sparse Rational Systems of Equations. ACM Trans. Math. Softw. 37 (4) (2011)
Daniel E. Steffy
Exact solutions to linear systems of equations using output sensitive lifting. ACM Commun. Comput. Algebra 44 (3/4) (2010)
Eddie Cheng, William A. Lindsey, Daniel E. Steffy
Maximal vertex-connectivity of. Networks 46 (3) (2005)