Daniel Steffy
Daniel Steffy
Department of Mathematics and Statistics, Oakland University
Verified email at oakland.edu - Homepage
Title
Cited by
Cited by
Year
MIPLIB 2010
T Koch, T Achterberg, E Andersen, O Bastert, T Berthold, RE Bixby, ...
Mathematical Programming Computation 3 (2), 103, 2011
4312011
An exact rational mixed-integer programming solver
W Cook, T Koch, DE Steffy, K Wolter
International Conference on Integer Programming and Combinatorial†…, 2011
542011
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
492013
Iterative refinement for linear programming
AM Gleixner, DE Steffy, K Wolter
INFORMS Journal on Computing 28 (3), 449-464, 2016
472016
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
402012
Strong matching preclusion for augmented cubes
E Cheng, S Shah, V Shah, DE Steffy
Theoretical Computer Science 491, 71-77, 2013
212013
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
182013
Valid linear programming bounds for exact mixed-integer programming
DE Steffy, K Wolter
INFORMS Journal on Computing 25 (2), 271-284, 2013
142013
Exact solutions to linear systems of equations using output sensitive lifting
DE Steffy
ACM Communications in Computer Algebra 44 (3/4), 160-182, 2011
132011
Topics in exact precision mathematical programming
DE Steffy
Georgia Institute of Technology, 2011
132011
Solving very sparse rational systems of equations
W Cook, DE Steffy
ACM Transactions on Mathematical Software (TOMS) 37 (4), 1-21, 2011
112011
Clinching and elimination of playoff berth in the NHL
E Cheng, D Steffy
International Journal of Operations Research 5 (187-192), 17, 2008
112008
Scheduling a conference to minimize attendee preference conflicts
J Quesnelle, D Steffy
Proceedings of the 7th multidisciplinary international conference on†…, 2015
10*2015
Verifying integer programming results
KKH Cheung, A Gleixner, DE Steffy
International Conference on Integer Programming and Combinatorial†…, 2017
92017
Exploring the numerics of branch-and-cut for mixed integer linear optimization
M Miltenberger, T Ralphs, DE Steffy
Operations Research Proceedings 2017, 151-157, 2018
82018
On sublinear inequalities for mixed integer conic programs
F KılınÁ-Karzan, DE Steffy
Mathematical Programming 159 (1-2), 585-605, 2016
82016
Maximal vertex‐connectivity of S_n,k
E Cheng, WA Lindsey, DE Steffy
Networks: An International Journal 46 (3), 154-162, 2005
82005
Mixed integer programming library version 5
T Koch, T Berthold, G Gamrath, AM Gleixner, S Heinz, DE Steffy, K Wolter, ...
Math. Prog. Comp.(2011) 3, 103-163, 2011
72011
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
72004
A few strong knapsack facets
S Chopra, S Shim, DE Steffy
Modeling and Optimization: Theory and Applications, 77-94, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20