No | Text |
1 | Scıp |
2 | Welcome! |
3 | News |
4 | About |
5 | How to cite |
6 | License |
7 | Download |
8 | Scıp workshops |
9 | Related work |
10 | Contact |
11 | Team members |
12 | Cooperation |
13 | ımprint and privacy statement |
No | Text |
1 | What is scıp? |
2 | What is the scıp optimization suite? |
3 | Mailing list |
4 | Stack overflow |
5 | Reporting bugs |
6 | Current |
7 | Former |
8 | Student a***istants |
No | Text |
1 | Projects at zıb that use scıp |
2 | Projects using scıp (outside zıb) |
3 | Some papers that use scıp |
4 | Click here for a list of further contributors ... |
5 | Download form |
No | Text |
1 | The SCIP Optimization Suite 7.0 |
2 | The SCIP Optimization Suite 6.0 |
3 | The SCIP Optimization Suite 5.0 |
4 | The SCIP Optimization Suite 4.0 |
5 | The SCIP Optimization Suite 3.2 |
6 | Constraint Integer Programming: a New Approach to Integrate CP and MIP (2) |
7 | SCIP: Solving Constraint Integer Programs |
8 | Constraint Integer Programming |
9 | SCIP: Global Optimization of Mixed-Integer Nonlinear Programs in a Branch-and-Cut Framework |
10 | A Hybrid Branch-and-Bound Approach for Exact Rational Mixed-Integer Programming |
11 | without warranty |
12 | libgfortran |
13 | PaPILO |
14 | Conflict Analysis in Mixed Integer Programming |
15 | Hybrid Branching |
16 | Improving the Feasibility Pump |
17 | Constraint Integer Programming: Techniques and Applications |
18 | Teaching MIP Modeling and Solving |
19 | Counting solutions of integer programs using unrestricted subtree detection |
20 | Experiments with Linear and Semidefinite Relaxations for Solving the Minimum Graph Bisection Problem |
21 | Constrained Clustering using Column Generation |
22 | Heuristics of the Branch-Cut-and-Price-Framework SCIP |
23 | RENS - Relaxation Enforced Neighborhood Search |
24 | Rapid learning for binary programs |
25 | SCIP Optimization Suite を利用した 混合整数(線形/非線形) 計画問題の解法 |
26 | Undercover – a primal heuristic for MINLP based on sub-MIPs generated by set covering |
27 | A Constraint Integer Programming Approach for Resource-Constrained Project Scheduling |
28 | Nonlinear pseudo-Boolean optimization: relaxation or propagation? |
29 | Solving Pseudo-Boolean Problems with SCIP |
30 | Extending a CIP framework to solve MIQCPs |
31 | Comparing MIQCP solvers to a specialised algorithm for mine production scheduling |
32 | Auslegung heterogener Kommunikationsnetze nach Performance und Wirtschaftlichkeit |
33 | Angebotsplanung im öffentlichen Nahverkehr |
34 | The Location-Dispatching Problem: polyhedral results and Content Delivery Network Design |
35 | Coordination of Cluster Ensembles via Exact Methods |
36 | A Branch-and-Price Algorithm for Multi-mode Resource Leveling |
37 | Models and Algorithms for Maximum Flow Problems Having Semicontinuous Path Flow Constraints |
38 | Optimal control of spatial-dynamic processes: the case of biological invasions |
39 | Integer linear programming models for topology optimization in sheet metal design |
40 | Scenario Technique with Integer Programming for Sustainability in Manufacturing |
41 | Experiments with a Generic Dantzig-Wolfe Decomposition for Integer Programs |
42 | Ein neuer Ansatz zur Optimierung des Bilanzausgleichs in einem Gasmarktgebiet |
43 | Using Model Counting to Find Optimal Distinguis***ng Tests |
44 | Exact and Approximate Spa**** Solutions of Underdetermined Linear Equations |
45 | Computing Optimal Morse Matchings |
46 | Orbitopal Fixing |
47 | On connectivity limits in ad hoc networks with beamforming antennas |
48 | Approximated segmentation considering technical and dosimetric constraints in intensity-modulated radiation therapy with electrons |
49 | Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a few Seconds |
50 | Algorithms to separate {0,1/2}-Chvatal-Gomory cuts |
51 | A formulation space search heuristic for p*****ng unequal circles in a fixed size circular container |
52 | Large-scale identification of genetic design strategies using local search |
53 | Optimization Methods For Selecting Founder Individuals For Captive Breeding or reintroduction of Endangered Species |
54 | Two-layer Network Design by Branch-and-Cut featuring MIP-based Heuristics |
55 | Branch-And-Cut for the Maximum Feasible Subsystem Problem |
56 | Integer Programming and Sports Rankings |
57 | Rostering from staffing levels: a branch-and-price approach |
58 | Faster MIP solutions via new node selection rules |
59 | Optimal p*****ngs of Congruent Circles on a Square Flat Torus as Mixed-Integer Nonlinear Optimization Problem. |
60 | Robust Aircraft Routing |
61 | after subscribing to it |
No | Text |
1 | Gerald Gamrath, Daniel Anderson, Ksenia Bestuzheva, Wei-Kun Chen, Leon Eifler, Maxime Ga***e, Patrick Gemander, Ambros Gleixner, Leona Gottwald, Katrin Halbig, Gregor Hendel, Christopher Hojny, Thorsten Koch, Pierre Le Bodic, Stephen J. Maher, Frederic Matter, Matthias Miltenberger, Erik Mühmer, Benjamin Müller, Marc Pfetsch, Franziska Schlösser, Felipe Serrano, Yuji s***nano, Christine Tawfik, Stefan Vigerske, Fabian Wegscheider, Dieter Weninger, Jakob Witzig |
2 | Ambros Gleixner, Michael Bastubbe, Leon Eifler, Tristan Gally, Gerald Gamrath, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Marco E. Lübbecke, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Christoph Schubert, Felipe Serrano, Yuji s***nano, Jan Merlin Viernickel, Matthias Walter, Fabian Wegscheider, Jonas T. Witt, Jakob Witzig |
3 | Ambros Gleixner, Leon Eifler, Tristan Gally, Gerald Gamrath, Patrick Gemander, Robert Lion Gottwald, Gregor Hendel, Christopher Hojny, Thorsten Koch, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Franziska Schlösser, Felipe Serrano, Yuji s***nano, Jan Merlin Viernickel, Stefan Vigerske, Dieter Weninger, Jonas T. Witt, Jakob Witzig |
4 | Stephen J. Maher, Tobias Fischer, Tristan Gally, Gerald Gamrath, Ambros Gleixner, Robert Lion Gottwald, Gregor Hendel, Thorsten Koch, Marco E. Lübbecke, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji s***nano, Dieter Weninger, Jonas T. Witt, Jakob Witzig |
5 | Gerald Gamrath, Tobias Fischer, Tristan Gally, Ambros M. Gleixner, Gregor Hendel, Thorsten Koch, Stephen J. Maher, Matthias Miltenberger, Benjamin Müller, Marc E. Pfetsch, Christian Puchert, Daniel Rehfeldt, Sebastian Schenker, Robert Schwarz, Felipe Serrano, Yuji s***nano, Stefan Vigerske, Dieter Weninger, Michael Winkler, Jonas T. Witt, Jakob Witzig |
6 | Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter (2) |
7 | Tobias Achterberg (3) |
8 | Stefan Vigerske, Ambros Gleixner |
9 | William Cook, Thorsten Koch, Daniel E. Steffy, Kati Wolter |
10 | non-commercial |
11 | academic |
12 | Tobias Achterberg, Timo Berthold (2) |
13 | Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter |
14 | Tobias Achterberg, Thorsten Koch, and Martin Grötschel |
15 | Tobias Achterberg, Stefan Heinz, Thorsten Koch |
16 | Michael Armbruster, Marzena Fügenschuh, Christoph Helmberg, and Alexander Martin |
17 | Babaki, B., Guns, T., Nijssen, S. |
18 | Timo Berthold (2) |
19 | Timo Berthold, Thibaut Feydy, Peter J. Stuckey |
20 | Timo Berthold, Ambros Gleixner, Stefan Heinz, Thorsten Koch, and Yuji s***nano. |
21 | Timo Berthold, Ambros M. Gleixner |
22 | Timo Berthold, Stefan Heinz, Marco Lübbecke, Rolf H. Möhring, Jens Schulz |
23 | Timo Berthold, Stefan Heinz, Marc E. Pfetsch (2) |
24 | Timo Berthold, Stefan Heinz, Stefan Vigerske |
25 | Andreas Bley, Ambros M. Gleixner, Thorsten Koch, Stefan Vigerske |
26 | Andreas Bley, Friederich Kupzog, and Adrian Zymolka |
27 | Ralf Borndörfer, Marika Neumann, Marc E. Pfetsch |
28 | Philippe Chrétienne, Pierre Fouilhoux, Eric Gourdin, and Jean-Mathieu Segura |
29 | Ioannis T. Christou |
30 | Eamonn T. Coughlan, Marco E. Lübbecke and Jens Schulz |
31 | Robert Curry and J. Cole Smith |
32 | Rebecca S. Epanchin-Niell and James E. Wilen |
33 | Armin Fügenschuh and Marzena Fügenschuh |
34 | Armin Fügenschuh, Pia Gausemeier, Günther Seliger, and Semih Severengiz |
35 | Gerald Gamrath and Marco E. Lübbecke |
36 | Uwe Gotzes |
37 | Stefan Heinz and Martin Sachenbacher |
38 | Sadegh Jokar, Marc E. Pfetsch |
39 | Michael Joswig and Marc E. Pfetsch |
40 | Volker Kaibel, Matthias Peinhardt, and Marc E. Pfetsch |
41 | Moritz Kiese, Christian Hartmann, Julian Lamberty, and Robert Vilzmann |
42 | Antje Kiesel and Tobias Gauer |
43 | Thorsten Koch |
44 | Arie M. C. A. Koster, Adrian Zymolka and Manuel Kutschka |
45 | C. O. López and J. E. Beasley |
46 | Desmond S. Lun, Graham Rockwell, Nicholas J. Guido, Michael Baym, Jonathan A. Kelner, Bonnie Berger, James E. Galagan, and George M. Church |
47 | Webb Miller, Stephen J. Wright, Yu Zhang, Stephan C. Schuster, Vanessa M. Hayes |
48 | Sebastian Orlowski, Arie M. C. A. Koster, Christian Raack, and Roland Wessäly |
49 | Marc E. Pfetsch |
50 | Christian Raack, Annie Raymond, Thomas Schlechte, Axel Werner |
51 | Egbert van der Veen and Bart Veltman |
52 | Daniel T. Wojtaszeka and John W. Chinneck |
53 | Vladimir Volos***nov and Sergey Smirnov |
54 | Chiwei Yan and Jerry Kung |