Daniel E. Steffy

24 papers B 5Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2020 J jnl
Linear programming using limited-precision oracles.
Math. Program.
Ambros M. Gleixner, Daniel E. Steffy
2019 J jnl
A concise characterization of strong knapsack facets.
Discret. Appl. Math.
Sunil Chopra, Sangho Shim, Daniel E. Steffy
2019 B conf
Linear Programming Using Limited-Precision Oracles.
IPCO
Ambros M. Gleixner, Daniel E. Steffy
2019 J jnl
Linear Programming using Limited-Precision Oracles.
CoRR
Ambros M. Gleixner, Daniel E. Steffy
2018 J jnl
A Complete Classification of Which (n, k)-Star Graphs are Cayley Graphs.
Graphs Comb.
Karimah Sweet, Li Li, Eddie Cheng, László Lipták, Daniel E. Steffy
2017 — conf
Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization.
OR
Matthias Miltenberger, Ted K. Ralphs, Daniel E. Steffy
2017 J jnl
On the Problem of Determining which (n, k)-Star Graphs are Cayley Graphs.
Graphs Comb.
Eddie Cheng, Li Li, László Lipták, Sangho Shim, Daniel E. Steffy
2017 B conf
Verifying Integer Programming Results.
IPCO
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
2016 J jnl
Iterative Refinement for Linear Programming.
INFORMS J. Comput.
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
2016 J jnl
On sublinear inequalities for mixed integer conic programs.
Math. Program.
Fatma Kilinç-Karzan, Daniel E. Steffy
2016 J jnl
Verifying Integer Programming Results.
CoRR
Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy
2013 J jnl
A hybrid branch-and-bound approach for exact rational mixed-integer programming.
Math. Program. Comput.
William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
2013 B conf
Exact linear and integer programming: tutorial abstract.
ISSAC
Daniel E. Steffy
2013 J jnl
Strong local diagnosability of (
Inf. Process. Lett.
Eddie Cheng, László Lipták, Daniel E. Steffy
2013 J jnl
Strong matching preclusion for augmented cubes.
Theor. Comput. Sci.
Eddie Cheng, Shalin Shah, Vyom Shah, Daniel E. Steffy
2013 J jnl
Valid Linear Programming Bounds for Exact Mixed-Integer Programming.
INFORMS J. Comput.
Daniel E. Steffy, Kati Wolter
2012 J jnl
East coast computer algebra day 2012 abstracts.
ACM Commun. Comput. Algebra
Tony Shaska, Daniel E. Steffy
2012 B conf
Improving the accuracy of linear programming solvers with iterative refinement.
ISSAC
Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter
2011 B conf
An Exact Rational Mixed-Integer Programming Solver.
IPCO
William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter
2011 J jnl
MIPLIB 2010.
Math. Program. Comput.
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
2011 J jnl
Solving Very Sparse Rational Systems of Equations.
ACM Trans. Math. Softw.
William J. Cook, Daniel E. Steffy
2011 — —
Topics in exact precision mathematical programming.
Daniel E. Steffy
2010 J jnl
Exact solutions to linear systems of equations using output sensitive lifting.
ACM Commun. Comput. Algebra
Daniel E. Steffy
2005 J jnl
Maximal vertex-connectivity of.
Networks
Eddie Cheng, William A. Lindsey, Daniel E. Steffy