Daniel E. Steffy

According to our database, Daniel E. Steffy authored at least 20 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Linear programming using limited-precision oracles.

Ambros M. Gleixner, Daniel E. Steffy

Math. Program., 2020

2019

A concise characterization of strong knapsack facets.

Sunil Chopra, Sangho Shim, Daniel E. Steffy

Discret. Appl. Math., 2019

2018

A Complete Classification of Which (n, k)-Star Graphs are Cayley Graphs.

Karimah Sweet, Li Li, Eddie Cheng, László Lipták, Daniel E. Steffy

Graphs Comb., 2018

2017

On the Problem of Determining which (n, k)-Star Graphs are Cayley Graphs.

Eddie Cheng, Li Li, László Lipták, Sangho Shim, Daniel E. Steffy

Graphs Comb., 2017

Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear Optimization.

Matthias Miltenberger, Ted K. Ralphs, Daniel E. Steffy

Proceedings of the Operations Research Proceedings 2017, 2017

Verifying Integer Programming Results.

Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy

Proceedings of the Integer Programming and Combinatorial Optimization, 2017

2016

On sublinear inequalities for mixed integer conic programs.

Fatma Kilinç-Karzan, Daniel E. Steffy

Math. Program., 2016

Iterative Refinement for Linear Programming.

Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter

INFORMS J. Comput., 2016

2013

Strong matching preclusion for augmented cubes.

Eddie Cheng, Shalin Shah, Vyom Shah, Daniel E. Steffy

Theor. Comput. Sci., 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 local diagnosability of (<i>n</i>, <i>k</i>)(n, k)-star graphs and Cayley graphs generated by 2-trees with missing edges.

Eddie Cheng, László Lipták, Daniel E. Steffy

Inf. Process. Lett., 2013

Valid Linear Programming Bounds for Exact Mixed-Integer Programming.

Daniel E. Steffy, Kati Wolter

INFORMS J. Comput., 2013

Exact linear and integer programming: tutorial abstract.

Daniel E. Steffy

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2013

2012

East coast computer algebra day 2012 abstracts.

Tony Shaska, Daniel E. Steffy

ACM Commun. Comput. Algebra, 2012

Improving the accuracy of linear programming solvers with iterative refinement.

Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter

Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2012

2011

Solving Very Sparse Rational Systems of Equations.

William J. Cook, Daniel E. Steffy

ACM Trans. Math. Softw., 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, Andrea Lodi, Hans D. Mittelmann, Ted K. Ralphs, Domenico Salvagnin, Daniel E. Steffy, Kati Wolter

Math. Program. Comput., 2011

An Exact Rational Mixed-Integer Programming Solver.

William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter

Proceedings of the Integer Programming and Combinatoral Optimization, 2011

2010

Exact solutions to linear systems of equations using output sensitive lifting.

Daniel E. Steffy

ACM Commun. Comput. Algebra, 2010

2005

Maximal vertex-connectivity of.

Eddie Cheng, William A. Lindsey, Daniel E. Steffy

Networks, 2005