BibTeX records: Daniel E. Steffy

download as .bib file

@article{DBLP:journals/dam/ChopraSS19,
  author    = {Sunil Chopra and
               Sangho Shim and
               Daniel E. Steffy},
  title     = {A concise characterization of strong knapsack facets},
  journal   = {Discrete Applied Mathematics},
  volume    = {253},
  pages     = {136--152},
  year      = {2019},
  url       = {https://doi.org/10.1016/j.dam.2018.05.006},
  doi       = {10.1016/j.dam.2018.05.006},
  timestamp = {Fri, 18 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/dam/ChopraSS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/GleixnerS19,
  author    = {Ambros M. Gleixner and
               Daniel E. Steffy},
  title     = {Linear Programming Using Limited-Precision Oracles},
  booktitle = {Integer Programming and Combinatorial Optimization - 20th International
               Conference, {IPCO} 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings},
  pages     = {399--412},
  year      = {2019},
  crossref  = {DBLP:conf/ipco/2019},
  url       = {https://doi.org/10.1007/978-3-030-17953-3\_30},
  doi       = {10.1007/978-3-030-17953-3\_30},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipco/GleixnerS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/SweetLCLS18,
  author    = {Karimah Sweet and
               Li Li and
               Eddie Cheng and
               L{\'{a}}szl{\'{o}} Lipt{\'{a}}k and
               Daniel E. Steffy},
  title     = {A Complete Classification of Which (n, k)-Star Graphs are Cayley Graphs},
  journal   = {Graphs and Combinatorics},
  volume    = {34},
  number    = {1},
  pages     = {241--260},
  year      = {2018},
  url       = {https://doi.org/10.1007/s00373-017-1871-7},
  doi       = {10.1007/s00373-017-1871-7},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/gc/SweetLCLS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/ChengLLSS17,
  author    = {Eddie Cheng and
               Li Li and
               L{\'{a}}szl{\'{o}} Lipt{\'{a}}k and
               Sangho Shim and
               Daniel E. Steffy},
  title     = {On the Problem of Determining which (n, k)-Star Graphs are Cayley
               Graphs},
  journal   = {Graphs and Combinatorics},
  volume    = {33},
  number    = {1},
  pages     = {85--102},
  year      = {2017},
  url       = {https://doi.org/10.1007/s00373-016-1741-8},
  doi       = {10.1007/s00373-016-1741-8},
  timestamp = {Wed, 07 Mar 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/gc/ChengLLSS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/CheungGS17,
  author    = {Kevin K. H. Cheung and
               Ambros M. Gleixner and
               Daniel E. Steffy},
  title     = {Verifying Integer Programming Results},
  booktitle = {Integer Programming and Combinatorial Optimization - 19th International
               Conference, {IPCO} 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings},
  pages     = {148--160},
  year      = {2017},
  crossref  = {DBLP:conf/ipco/2017},
  url       = {https://doi.org/10.1007/978-3-319-59250-3\_13},
  doi       = {10.1007/978-3-319-59250-3\_13},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipco/CheungGS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/MiltenbergerRS17,
  author    = {Matthias Miltenberger and
               Ted K. Ralphs and
               Daniel E. Steffy},
  title     = {Exploring the Numerics of Branch-and-Cut for Mixed Integer Linear
               Optimization},
  booktitle = {Operations Research Proceedings 2017, Selected Papers of the Annual
               International Conference of the German Operations Research Society
               (GOR), Freie Universi{\"{a}}t Berlin, Germany, September 6-8,
               2017.},
  pages     = {151--157},
  year      = {2017},
  crossref  = {DBLP:conf/or/2017},
  url       = {https://doi.org/10.1007/978-3-319-89920-6\_21},
  doi       = {10.1007/978-3-319-89920-6\_21},
  timestamp = {Sun, 15 Jul 2018 18:56:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/or/MiltenbergerRS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/GleixnerSW16,
  author    = {Ambros M. Gleixner and
               Daniel E. Steffy and
               Kati Wolter},
  title     = {Iterative Refinement for Linear Programming},
  journal   = {{INFORMS} Journal on Computing},
  volume    = {28},
  number    = {3},
  pages     = {449--464},
  year      = {2016},
  url       = {https://doi.org/10.1287/ijoc.2016.0692},
  doi       = {10.1287/ijoc.2016.0692},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/informs/GleixnerSW16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mp/Kilinc-KarzanS16,
  author    = {Fatma Kilin{\c{c}}{-}Karzan and
               Daniel E. Steffy},
  title     = {On sublinear inequalities for mixed integer conic programs},
  journal   = {Math. Program.},
  volume    = {159},
  number    = {1-2},
  pages     = {585--605},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10107-015-0968-0},
  doi       = {10.1007/s10107-015-0968-0},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mp/Kilinc-KarzanS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CheungGS16,
  author    = {Kevin K. H. Cheung and
               Ambros M. Gleixner and
               Daniel E. Steffy},
  title     = {Verifying Integer Programming Results},
  journal   = {CoRR},
  volume    = {abs/1611.08832},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.08832},
  archivePrefix = {arXiv},
  eprint    = {1611.08832},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CheungGS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/informs/SteffyW13,
  author    = {Daniel E. Steffy and
               Kati Wolter},
  title     = {Valid Linear Programming Bounds for Exact Mixed-Integer Programming},
  journal   = {{INFORMS} Journal on Computing},
  volume    = {25},
  number    = {2},
  pages     = {271--284},
  year      = {2013},
  url       = {https://doi.org/10.1287/ijoc.1120.0501},
  doi       = {10.1287/ijoc.1120.0501},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/informs/SteffyW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ChengLS13,
  author    = {Eddie Cheng and
               L{\'{a}}szl{\'{o}} Lipt{\'{a}}k and
               Daniel E. Steffy},
  title     = {Strong local diagnosability of (\emph{n}, \emph{k})(n, k)-star graphs
               and Cayley graphs generated by 2-trees with missing edges},
  journal   = {Inf. Process. Lett.},
  volume    = {113},
  number    = {12},
  pages     = {452--456},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.ipl.2013.03.002},
  doi       = {10.1016/j.ipl.2013.03.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ipl/ChengLS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mpc/CookKSW13,
  author    = {William J. Cook and
               Thorsten Koch and
               Daniel E. Steffy and
               Kati Wolter},
  title     = {A hybrid branch-and-bound approach for exact rational mixed-integer
               programming},
  journal   = {Math. Program. Comput.},
  volume    = {5},
  number    = {3},
  pages     = {305--344},
  year      = {2013},
  url       = {https://doi.org/10.1007/s12532-013-0055-6},
  doi       = {10.1007/s12532-013-0055-6},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/mpc/CookKSW13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChengSSS13,
  author    = {Eddie Cheng and
               Shalin Shah and
               Vyom Shah and
               Daniel E. Steffy},
  title     = {Strong matching preclusion for augmented cubes},
  journal   = {Theor. Comput. Sci.},
  volume    = {491},
  pages     = {71--77},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.tcs.2013.05.002},
  doi       = {10.1016/j.tcs.2013.05.002},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/ChengSSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Steffy13,
  author    = {Daniel E. Steffy},
  title     = {Exact linear and integer programming: tutorial abstract},
  booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
               Boston, MA, USA, June 26-29, 2013},
  pages     = {11--12},
  year      = {2013},
  crossref  = {DBLP:conf/issac/2013},
  url       = {https://doi.org/10.1145/2465506.2465931},
  doi       = {10.1145/2465506.2465931},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/Steffy13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/ShaskaS12,
  author    = {Tony Shaska and
               Daniel E. Steffy},
  title     = {East coast computer algebra day 2012 abstracts},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {46},
  number    = {1/2},
  pages     = {55--59},
  year      = {2012},
  url       = {https://doi.org/10.1145/2338496.2338505},
  doi       = {10.1145/2338496.2338505},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/ShaskaS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GleixnerSW12,
  author    = {Ambros M. Gleixner and
               Daniel E. Steffy and
               Kati Wolter},
  title     = {Improving the accuracy of linear programming solvers with iterative
               refinement},
  booktitle = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
               Grenoble, France - July 22 - 25, 2012},
  pages     = {187--194},
  year      = {2012},
  crossref  = {DBLP:conf/issac/2012},
  url       = {https://doi.org/10.1145/2442829.2442858},
  doi       = {10.1145/2442829.2442858},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/GleixnerSW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mpc/KochAABBBDGGHLMRSSW11,
  author    = {Thorsten Koch and
               Tobias Achterberg and
               Erling Andersen and
               Oliver Bastert and
               Timo Berthold and
               Robert E. Bixby and
               Emilie Danna and
               Gerald Gamrath and
               Ambros M. Gleixner and
               Stefan Heinz and
               Andrea Lodi and
               Hans D. Mittelmann and
               Ted K. Ralphs and
               Domenico Salvagnin and
               Daniel E. Steffy and
               Kati Wolter},
  title     = {{MIPLIB} 2010},
  journal   = {Math. Program. Comput.},
  volume    = {3},
  number    = {2},
  pages     = {103--163},
  year      = {2011},
  url       = {https://doi.org/10.1007/s12532-011-0025-9},
  doi       = {10.1007/s12532-011-0025-9},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mpc/KochAABBBDGGHLMRSSW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toms/CookS11,
  author    = {William J. Cook and
               Daniel E. Steffy},
  title     = {Solving Very Sparse Rational Systems of Equations},
  journal   = {{ACM} Trans. Math. Softw.},
  volume    = {37},
  number    = {4},
  pages     = {39:1--39:21},
  year      = {2011},
  url       = {https://doi.org/10.1145/1916461.1916463},
  doi       = {10.1145/1916461.1916463},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toms/CookS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/CookKSW11,
  author    = {William J. Cook and
               Thorsten Koch and
               Daniel E. Steffy and
               Kati Wolter},
  title     = {An Exact Rational Mixed-Integer Programming Solver},
  booktitle = {Integer Programming and Combinatoral Optimization - 15th International
               Conference, {IPCO} 2011, New York, NY, USA, June 15-17, 2011. Proceedings},
  pages     = {104--116},
  year      = {2011},
  crossref  = {DBLP:conf/ipco/2011},
  url       = {https://doi.org/10.1007/978-3-642-20807-2\_9},
  doi       = {10.1007/978-3-642-20807-2\_9},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipco/CookKSW11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/Steffy10,
  author    = {Daniel E. Steffy},
  title     = {Exact solutions to linear systems of equations using output sensitive
               lifting},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {44},
  number    = {3/4},
  pages     = {160--182},
  year      = {2010},
  url       = {https://doi.org/10.1145/1940475.1940513},
  doi       = {10.1145/1940475.1940513},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/cca/Steffy10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/ChengLS05,
  author    = {Eddie Cheng and
               William A. Lindsey and
               Daniel E. Steffy},
  title     = {Maximal vertex-connectivity of},
  journal   = {Networks},
  volume    = {46},
  number    = {3},
  pages     = {154--162},
  year      = {2005},
  url       = {https://doi.org/10.1002/net.20084},
  doi       = {10.1002/net.20084},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/networks/ChengLS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipco/2019,
  editor    = {Andrea Lodi and
               Viswanath Nagarajan},
  title     = {Integer Programming and Combinatorial Optimization - 20th International
               Conference, {IPCO} 2019, Ann Arbor, MI, USA, May 22-24, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11480},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-17953-3},
  doi       = {10.1007/978-3-030-17953-3},
  isbn      = {978-3-030-17952-6},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipco/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipco/2017,
  editor    = {Friedrich Eisenbrand and
               Jochen K{\"{o}}nemann},
  title     = {Integer Programming and Combinatorial Optimization - 19th International
               Conference, {IPCO} 2017, Waterloo, ON, Canada, June 26-28, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10328},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-59250-3},
  doi       = {10.1007/978-3-319-59250-3},
  isbn      = {978-3-319-59249-7},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipco/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/or/2017,
  editor    = {Natalia Kliewer and
               Jan Fabian Ehmke and
               Ralf Bornd{\"{o}}rfer},
  title     = {Operations Research Proceedings 2017, Selected Papers of the Annual
               International Conference of the German Operations Research Society
               (GOR), Freie Universi{\"{a}}t Berlin, Germany, September 6-8,
               2017},
  series    = {Operations Research Proceedings},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89920-6},
  doi       = {10.1007/978-3-319-89920-6},
  isbn      = {978-3-319-89919-0},
  timestamp = {Sun, 15 Jul 2018 18:56:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/or/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2013,
  editor    = {Manuel Kauers},
  title     = {International Symposium on Symbolic and Algebraic Computation, ISSAC'13,
               Boston, MA, USA, June 26-29, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2465506},
  isbn      = {978-1-4503-2059-7},
  timestamp = {Sat, 28 Dec 2013 13:04:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2012,
  editor    = {Joris van der Hoeven and
               Mark van Hoeij},
  title     = {International Symposium on Symbolic and Algebraic Computation, ISSAC'12,
               Grenoble, France - July 22 - 25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2442829},
  isbn      = {978-1-4503-1269-1},
  timestamp = {Wed, 27 Feb 2013 10:33:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipco/2011,
  editor    = {Oktay G{\"{u}}nl{\"{u}}k and
               Gerhard J. Woeginger},
  title     = {Integer Programming and Combinatoral Optimization - 15th International
               Conference, {IPCO} 2011, New York, NY, USA, June 15-17, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6655},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20807-2},
  doi       = {10.1007/978-3-642-20807-2},
  isbn      = {978-3-642-20806-5},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipco/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics