Dan Steffy
Dan Steffy
Gurobi Optimization
Verified email at - Homepage
Cited by
Cited by
MIPLIB 2010: Mixed integer programming library version 5
T Koch, T Achterberg, E Andersen, O Bastert, T Berthold, RE Bixby, ...
Mathematical Programming Computation 3, 103-163, 2011
Iterative refinement for linear programming
AM Gleixner, DE Steffy, K Wolter
INFORMS Journal on Computing 28 (3), 449-464, 2016
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
An exact rational mixed-integer programming solver
W Cook, T Koch, DE Steffy, K Wolter
Integer Programming and Combinatoral Optimization: 15th International†…, 2011
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
Verifying integer programming results
KKH Cheung, A Gleixner, DE Steffy
Integer Programming and Combinatorial Optimization: 19th International†…, 2017
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
Strong matching preclusion for augmented cubes
E Cheng, S Shah, V Shah, DE Steffy
Theoretical computer science 491, 71-77, 2013
Valid linear programming bounds for exact mixed-integer programming
DE Steffy, K Wolter
INFORMS Journal on Computing 25 (2), 271-284, 2013
Topics in exact precision mathematical programming
DE Steffy
Georgia Institute of Technology, 2010
Scheduling a conference to minimize attendee preference conflicts
J Quesnelle, D Steffy
Proceedings of the 7th multidisciplinary international conference on†…, 2015
Solving very sparse rational systems of equations
W Cook, DE Steffy
ACM Transactions on Mathematical Software (TOMS) 37 (4), 1-21, 2011
Linear programming using limited-precision oracles
A Gleixner, DE Steffy
Mathematical Programming 183 (1), 525-554, 2020
Exploring the numerics of branch-and-cut for mixed integer linear optimization
M Miltenberger, T Ralphs, DE Steffy
Operations Research Proceedings 2017: Selected Papers of the Annual†…, 2018
On sublinear inequalities for mixed integer conic programs
F KılınÁ-Karzan, DE Steffy
Mathematical Programming 159 (1), 585-605, 2016
Exact solutions to linear systems of equations using output sensitive lifting
DE Steffy
ACM Communications in Computer Algebra 44 (3/4), 160-182, 2011
Clinching and elimination of playoff berth in the NHL
E Cheng, D Steffy
International Journal of Operations Research 5 (187-192), 17, 2008
Maximal vertex‐connectivity of S_n,k
E Cheng, WA Lindsey, DE Steffy
Networks: An International Journal 46 (3), 154-162, 2005
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
A few strong knapsack facets
S Chopra, S Shim, DE Steffy
Modeling and Optimization: Theory and Applications: MOPTA, Bethlehem, PA†…, 2015
The system can't perform the operation now. Try again later.
Articles 1–20