Zobrazeno 1 - 10
of 96
pro vyhledávání: '"Ambros, M"'
Publikováno v:
ACM Transactions on Mathematical Software. 48:1-12
We describe a general and safe computational framework that provides integer programming results with the degree of certainty that is required for machine-assisted proofs of mathematical theorems. At its core, the framework relies on a rational branc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b42e7fe54b21bede39dd1e097ebde254
https://doi.org/10.1145/3485630
https://doi.org/10.1145/3485630
Autor:
Thorsten Koch, Dominik Möst, Hannes Hobbie, Daniel Rehfeldt, Ambros M. Gleixner, David Schönheit
Publikováno v:
European Journal of Operational Research. 296:60-71
Linear energy system models are a crucial component of energy system design and operations, as well as energy policy consulting. If detailed enough, such models lead to large-scale linear programs, which can be intractable even for the best state-of-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a1b6811c5523aece8f56d23cd83030c8
https://doi.org/10.1016/j.ejor.2021.06.063
https://doi.org/10.1016/j.ejor.2021.06.063
Publikováno v:
In Annales de Dermatologie et de Vénéréologie - FMC April 2023 3(3):196-198
Autor:
Zabaleta, N., Gil, L., Rodriguez-Seoane, R., Casanovas, F., Ambros, M., Pagerols, J., Casals, A., Ortiz, L., Ros, R.M., Fortuny, J.R., Pérez, V., Martin-Subero, M.
Publikováno v:
In Neuroscience Applied 2023 2 Supplement 2
Autor:
Michael Bastubbe, Marco E. Lübbecke, Ambros M. Gleixner, Jeff Linderoth, Timo Berthold, Ted K. Ralphs, Hans D. Mittelmann, Yuji Shinano, Gregor Hendel, Thorsten Koch, Kati Jarck, Gerald Gamrath, Domenico Salvagnin, Philipp M. Christophel, Derya B. Özyurt, Tobias Achterberg
Publikováno v:
Mathematical programming computation : MPC 13(3), 443-490 (2021). doi:10.1007/s12532-020-00194-3
Mathematical programming computation : MPC (2021). doi:10.1007/s12532-020-00194-3
Published by Springer, Berlin ; Heidelberg
Published by Springer, Berlin ; Heidelberg
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a3094d754be2146d9114ecd9f4969c1f
https://doi.org/10.1007/s12532-020-00194-3
https://doi.org/10.1007/s12532-020-00194-3
Autor:
Gerald Gamrath, Ambros M. Gleixner, Matthias Miltenberger, Dominik Schlögel, Dieter Weninger, Dimitri Kniasew, Alex Martin, Thorsten Koch
Publikováno v:
Journal of Computational Mathematics. 37:866-888
SAP's decision support systems for optimized supply network planning rely on mixed-integer programming as the core engine to compute optimal or near-optimal solutions. The modeling flexibility and the optimality guarantees provided by mixed-integer p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5374ad0bbd5fb99c87c0d608df4fd83d
https://doi.org/10.4208/jcm.1905-m2019-0055
https://doi.org/10.4208/jcm.1905-m2019-0055
Publikováno v:
Annals of Operations Research. 284:527-555
Packing rings into a minimum number of rectangles is an optimization problem which appears naturally in the logistics operations of the tube industry. It encompasses two major difficulties, namely the positioning of rings in rectangles and the recurs
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b712b135d035fa969dfc81f6a001ca9
https://doi.org/10.1007/s10479-018-3115-5
https://doi.org/10.1007/s10479-018-3115-5
Publikováno v:
In Computers and Operations Research 2009 36(4):1064-1089
Autor:
Ambros M. Gleixner, Leon Eifler
Publikováno v:
Integer Programming and Combinatorial Optimization ISBN: 9783030738785
IPCO
IPCO
The last milestone achievement for the roundoff-error-free solution of general mixed integer programs over the rational numbers was a hybrid-precision branch-and-bound algorithm published by Cook, Koch, Steffy, and Wolter in 2013. We describe a subst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::808a195fd7b8d0d6584d49329a68c3a3
https://doi.org/10.1007/978-3-030-73879-2_12
https://doi.org/10.1007/978-3-030-73879-2_12
Publikováno v:
Parallel Computing. 109:102874
Fast domain propagation of linear constraints has become a crucial component of today’s best algorithms and solvers for mixed integer programming and pseudo-boolean optimization to achieve peak solving performance. Irregularities in the form of dyn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::49e3152f96c0f02e774febcb3ea04b78
https://doi.org/10.1016/j.parco.2021.102874
https://doi.org/10.1016/j.parco.2021.102874