Daniel E. Steffy
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2011–2019
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | IPCO | Linear Programming Using Limited-Precision Oracles. | Ambros M. Gleixner, Daniel E. Steffy |
| 2017 | IPCO | Verifying Integer Programming Results. | Kevin K. H. Cheung, Ambros M. Gleixner, Daniel E. Steffy |
| 2013 | ISSAC | Exact linear and integer programming: tutorial abstract. | Daniel E. Steffy |
| 2012 | ISSAC | Improving the accuracy of linear programming solvers with iterative refinement. | Ambros M. Gleixner, Daniel E. Steffy, Kati Wolter |
| 2011 | IPCO | An Exact Rational Mixed-Integer Programming Solver. | William J. Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter |