Zum Inhalt springen

  1. Shinano, Yuji [Sonstige Person, Familie und Körperschaft]

    ParaSCIP - a parallel extension of SCIP

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2010

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

  2. Shinano, Yuji [Sonstige Person, Familie und Körperschaft]

    PiberSCIP : a shared memory parallelization of SCIP

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2013

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

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

    The SCIP Optimization Suite 8.0

    Bücher
    Online ansehen
    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

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

    The SCIP optimization suite 7.0

    Bücher
    Online ansehen
    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

  5. Bley, Andreas [Sonstige Person, Familie und Körperschaft]; Koch, Thorsten [Sonstige Person, Familie und Körperschaft]; Niu, Lingfeng [Sonstige Person, Familie und Körperschaft]

    Experiments with nonlinear extensions to SCIP

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2009

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

  6. Berthold, Timo [Sonstige Person, Familie und Körperschaft]; Heinz, Stefan [Sonstige Person, Familie und Körperschaft]; Pfetsch, Marc E. [Sonstige Person, Familie und Körperschaft]

    Solving pseudo-boolean problems with SCIP

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2008

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

  7. Patel, Akshay [Verfasser:in]

    SCIP 2.0 : horizontally extending the Smart Contract Invocation Protocol

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Stuttgart, 2023

  8. Shinano, Yuji [Verfasser:in] ; Achterberg, Tobias [Sonstige Person, Familie und Körperschaft]; Berthold, Timo [Sonstige Person, Familie und Körperschaft]; Heinz, Stefan [Sonstige Person, Familie und Körperschaft]; Koch, Thorsten [Sonstige Person, Familie und Körperschaft]; Vigerske, Stefan [Sonstige Person, Familie und Körperschaft]; Winkler, Michael [Sonstige Person, Familie und Körperschaft]

    制約整数計画ソルバ SCIP の並列化

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2013

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

  9. Berthold, Timo [Sonstige Person, Familie und Körperschaft]

    Heuristics of the branch-cut-and-price-framework SCIP

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2007

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

  10. Bestuzheva, Ksenia [Verfasser:in]; Chmiela, Antonia [Verfasser:in]; Müller, Benjamin [Verfasser:in]; Serrano, Felipe [Verfasser:in]; Vigerske, Stefan [Verfasser:in]; Wegscheider†, Fabian [Verfasser:in] ; Zuse Institute Berlin

    Global optimization of mixed-integer nonlinear programs with SCIP 8.0

    Bücher
    Online ansehen
    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, 01 2023

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

  11. Shinano, Yuji [Verfasser:in]; Achterberg, Tobias [Verfasser:in]; Berthold, Timo [Verfasser:in]; Heinz, Stefan [Verfasser:in]; Koch, Thorsten [Verfasser:in]; Winkler, Michael [Verfasser:in] ; Konrad-Zuse-Zentrum für Informationstechnik Berlin

    Solving previously unsolved MIP instances with ParaSCIP on supercomputers using up to 80,000 cores

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik Berlin, May 2020

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

  12. Shinano, Yuji [Sonstige Person, Familie und Körperschaft]

    Solving hard MIPLIB2003 problems with ParaSCIP on supercomputers : an apdate

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2013

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

  13. Berthold, Timo [Sonstige Person, Familie und Körperschaft]

    SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2012

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

  14. Berthold, Timo [Sonstige Person, Familie und Körperschaft] ; Konrad-Zuse-Zentrum für Informationstechnik Berlin

    Solving mixed integer linear and nonlinear problems using the SCIP optimization suite

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Berlin-Dahlem: Konrad-Zuse-Zentrum für Informationstechnik, 2012

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