Dan Steffy
Dan Steffy
Gurobi Optimization
Adresă de e-mail confirmată pe gurobi.com - Pagina de pornire
Citat de
Citat de
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
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
Solving very sparse rational systems of equations
W Cook, DE Steffy
ACM Transactions on Mathematical Software (TOMS) 37 (4), 1-21, 2011
Verifying integer programming results
KKH Cheung, A Gleixner, DE Steffy
Integer Programming and Combinatorial Optimization: 19th International …, 2017
On sublinear inequalities for mixed integer conic programs
F Kılınç-Karzan, DE Steffy
Mathematical Programming 159 (1-2), 585-605, 2016
Scheduling a conference to minimize attendee preference conflicts
J Quesnelle, D Steffy
Proceedings of the 7th multidisciplinary international conference on …, 2015
Exact solutions to linear systems of equations using output sensitive lifting
DE Steffy
ACM Communications in Computer Algebra 44 (3/4), 160-182, 2011
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
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
Linear programming using limited-precision oracles
A Gleixner, DE Steffy
Mathematical Programming 183 (1-2), 525-554, 2020
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20