Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Daniel E. Steffy
@article{DBLP:journals/mp/GleixnerS20,
author = {Ambros M. Gleixner and
Daniel E. Steffy},
title = {Linear programming using limited-precision oracles},
journal = {Math. Program.},
volume = {183},
number = {1},
pages = {525--554},
year = {2020},
url = {https://doi.org/10.1007/s10107-019-01444-6},
doi = {10.1007/S10107-019-01444-6},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mp/GleixnerS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/ChopraSS19,
author = {Sunil Chopra and
Sangho Shim and
Daniel E. Steffy},
title = {A concise characterization of strong knapsack facets},
journal = {Discret. Appl. Math.},
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 = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/ChopraSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/GleixnerS19,
author = {Ambros M. Gleixner and
Daniel E. Steffy},
editor = {Andrea Lodi and
Viswanath Nagarajan},
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},
series = {Lecture Notes in Computer Science},
volume = {11480},
pages = {399--412},
publisher = {Springer},
year = {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/conf/ipco/GleixnerS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-12820,
author = {Ambros M. Gleixner and
Daniel E. Steffy},
title = {Linear Programming using Limited-Precision Oracles},
journal = {CoRR},
volume = {abs/1912.12820},
year = {2019},
url = {http://arxiv.org/abs/1912.12820},
eprinttype = {arXiv},
eprint = {1912.12820},
timestamp = {Tue, 07 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-12820.bib},
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 Comb.},
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 = {Sat, 01 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gc/SweetLCLS18.bib},
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 Comb.},
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 = {Sat, 01 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/gc/ChengLLSS17.bib},
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},
editor = {Friedrich Eisenbrand and
Jochen K{\"{o}}nemann},
title = {Verifying Integer Programming Results},
booktitle = {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},
pages = {148--160},
publisher = {Springer},
year = {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/conf/ipco/CheungGS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/or/MiltenbergerRS17,
author = {Matthias Miltenberger and
Ted K. Ralphs and
Daniel E. Steffy},
editor = {Natalia Kliewer and
Jan Fabian Ehmke and
Ralf Bornd{\"{o}}rfer},
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},
series = {Operations Research Proceedings},
pages = {151--157},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-89920-6\_21},
doi = {10.1007/978-3-319-89920-6\_21},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/or/MiltenbergerRS17.bib},
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} J. Comput.},
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 = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/GleixnerSW16.bib},
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/journals/mp/Kilinc-KarzanS16.bib},
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},
eprinttype = {arXiv},
eprint = {1611.08832},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CheungGS16.bib},
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} J. Comput.},
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, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/informs/SteffyW13.bib},
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 = {Sat, 01 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ChengLS13.bib},
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/journals/mpc/CookKSW13.bib},
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, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/ChengSSS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Steffy13,
author = {Daniel E. Steffy},
editor = {Manuel Kauers},
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},
publisher = {{ACM}},
year = {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/conf/issac/Steffy13.bib},
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} Commun. Comput. 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 = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/ShaskaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/GleixnerSW12,
author = {Ambros M. Gleixner and
Daniel E. Steffy and
Kati Wolter},
editor = {Joris van der Hoeven and
Mark van Hoeij},
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},
publisher = {{ACM}},
year = {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/conf/issac/GleixnerSW12.bib},
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/journals/mpc/KochAABBBDGGHLMRSSW11.bib},
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, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toms/CookS11.bib},
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},
editor = {Oktay G{\"{u}}nl{\"{u}}k and
Gerhard J. Woeginger},
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},
series = {Lecture Notes in Computer Science},
volume = {6655},
pages = {104--116},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20807-2\_9},
doi = {10.1007/978-3-642-20807-2\_9},
timestamp = {Tue, 29 Dec 2020 18:40:14 +0100},
biburl = {https://dblp.org/rec/conf/ipco/CookKSW11.bib},
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} Commun. Comput. 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 = {Wed, 04 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cca/Steffy10.bib},
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 = {Sat, 01 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/ChengLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-28 02:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
