Zum Inhalt springen

  1. Eifler, Leon [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn] ; Zuse Institute Berlin

    Safe and verified Gomory mixed integer cuts in a rational MIP framework

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Zuse Institute Berlin, March 2023

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2023,9

  2. Eifler, Leon [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn] ; Zuse Institute Berlin

    A computational status update for exact rational mixed integer programming

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Zuse Institute Berlin, January 2021

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2021,4

  3. Eifler, Leon [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn]; Pulaj, Jonad [VerfasserIn] ; Zuse Institute Berlin

    A safe computational framework for integer programming applied to Chvátal’s conjecture

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Zuse Institute Berlin, October 2021

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2021,35

  4. Eifler, Leon [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn]; Pulaj, Jonad [VerfasserIn] ; Zuse Institute Berlin

    Chvátal's conjecture holds for ground sets of seven elements

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Zuse Institute Berlin, August 2018

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2018,49

  5. Eifler, Leon [VerfasserIn]; Nicolas-Thouvenin, Jules [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn] ; Zuse Institute Berlin

    Combining precision boosting with LP iterative refinement for exact linear optimization

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Zuse Institute Berlin, November 14, 2023

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2023,26

  6. Gamrath, Gerald [VerfasserIn]; Anderson, Daniel [VerfasserIn]; Bestuzheva, Ksenia [VerfasserIn]; Chen, Wei-Kun [VerfasserIn]; Eifler, Leon [VerfasserIn]; Gasse, Maxime [VerfasserIn]; Gemander, Patrick [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn]; Gottwald, Leona [VerfasserIn] ; Zuse Institute Berlin

    The SCIP optimization suite 7.0

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin-Dahlem: Zuse Institute Berlin, 2020

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2020,10

  7. Bestuzheva, Ksenia [VerfasserIn]; Besançon, Mathieu [VerfasserIn]; Chen, Wei-Kun [VerfasserIn]; Chmiela, Antonia [VerfasserIn]; Donkiewicz, Tim [VerfasserIn]; Doornmalen, Jasper van [VerfasserIn]; Eifler, Leon [VerfasserIn]; Gaul, Oliver [VerfasserIn]; Gamrath, Gerald [VerfasserIn]; Gleixner, Ambros M. [VerfasserIn] ; Zuse Institute Berlin

    The SCIP Optimization Suite 8.0

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Zuse Institute Berlin, 12 2021

    Erschienen in: Konrad-Zuse-Zentrum für Informationstechnik Berlin: ZIB-Report ; 2021,41

  10. Eifler, Leon; Gleixner, Ambros

    Integer Programming and Combinatorial Optimization: A Computational Status Update for Exact Rational Mixed Integer Programming

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2021

    Erschienen in: Integer Programming and Combinatorial Optimization

  13. Bestuzheva, Ksenia; Besançon, Mathieu; Chen, Wei-Kun; Chmiela, Antonia; Donkiewicz, Tim; van Doornmalen, Jasper; Eifler, Leon; Gaul, Oliver; Gamrath, Gerald; Gleixner, Ambros; Gottwald, Leona; Graczyk, Christoph; Halbig, Katrin; Hoen, Alexander; Hojny, Christopher; van der Hulst, Rolf; Koch, Thorsten; Lübbecke, Marco; Maher, Stephen J.; Matter, Frederic; Mühmer, Erik; Müller, Benjamin; Pfetsch, Marc E.; Rehfeldt, Daniel; [...]

    Enabling Research through the SCIP Optimization Suite 8.0

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Association for Computing Machinery (ACM), 2023

    Erschienen in: ACM Transactions on Mathematical Software

  14. Abbott, B. P.; Abbott, R.; Abbott, T. D.; Acernese, F.; Ackley, K.; Adams, C.; Adams, T.; Addesso, P.; Adhikari, R. X.; Adya, V. B.; Affeldt, C.; Afrough, M.; Agarwal, B.; Agathos, M.; Agatsuma, K.; Aggarwal, N.; Aguiar, O. D.; Aiello, L.; Ain, A.; Ajith, P.; Allen, B.; Allen, G.; Allocca, A.; Altin, P. A.; [...]

    Multi-messenger Observations of a Binary Neutron Star Merger*

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    American Astronomical Society, 2017

    Erschienen in: The Astrophysical Journal Letters