The SCIP optimization suite 5.0 A Gleixner, L Eifler, T Gally, G Gamrath, P Gemander, RL Gottwald, ... | 392 | 2017 |
The SCIP optimization suite 7.0 G Gamrath, D Anderson, K Bestuzheva, WK Chen, L Eifler, M Gasse, ... | 300 | 2020 |
The SCIP optimization suite 8.0 K Bestuzheva, M Besançon, WK Chen, A Chmiela, T Donkiewicz, ... arXiv preprint arXiv:2112.08872, 2021 | 237 | 2021 |
The scip optimization suite 3.2 G Gamrath, T Fischer, T Gally, A Gleixner, G Hendel, T Koch, SJ Maher, ... | 140 | 2016 |
The SCIP optimization suite 4.0 SJ Maher, T Fischer, T Gally, G Gamrath, A Gleixner, RL Gottwald, ... | 114 | 2017 |
Enabling research through the SCIP optimization suite 8.0 K Bestuzheva, M Besançon, WK Chen, A Chmiela, T Donkiewicz, ... ACM Transactions on Mathematical Software 49 (2), 1-21, 2023 | 50 | 2023 |
Experiments with conflict analysis in mixed integer programming J Witzig, T Berthold, S Heinz Integration of AI and OR Techniques in Constraint Programming: 14th …, 2017 | 31 | 2017 |
Adaptive algorithmic behavior for solving mixed integer programs using bandit algorithms G Hendel, M Miltenberger, J Witzig Operations Research Proceedings 2018: Selected Papers of the Annual …, 2019 | 20 | 2019 |
Computational aspects of infeasibility analysis in mixed integer programming J Witzig, T Berthold, S Heinz Mathematical Programming Computation 13 (4), 753-785, 2021 | 13 | 2021 |
Conflict-driven heuristics for mixed integer programming J Witzig, A Gleixner INFORMS Journal on Computing 33 (2), 706-720, 2021 | 13 | 2021 |
The SCIP Optimization Suite 8.0. ZIB-Report 21-41, Zuse Institute Berlin (2021) K Bestuzheva, M Besançon, WK Chen, A Chmiela, T Donkiewicz, ... URL: http://nbn-resolving. de/urn: nbn: de, 0 | 13 | |
A status report on conflict analysis in mixed integer nonlinear programming J Witzig, T Berthold, S Heinz Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 12 | 2019 |
Reoptimization Techniques in MIP Solvers G Gamrath, B Hiller, J Witzig ZIB-Report, 2015 | 10 | 2015 |
Local rapid learning for integer programs T Berthold, PJ Stuckey, J Witzig International Conference on Integration of Constraint Programming …, 2019 | 7 | 2019 |
The SCIP Optimization Suite 6.0. Technical report A Gleixner, M Bastubbe, L Eifler, T Gally, G Gamrath, RL Gottwald, ... Optimization Online, 2018 | 7 | 2018 |
Mixed-integer programming for cycle detection in nonreversible Markov processes J Witzig, I Beckenbach, L Eifler, K Fackeldey, A Gleixner, A Grever, ... Multiscale Modeling & Simulation 16 (1), 248-265, 2018 | 6 | 2018 |
Reoptimization techniques in MIP solvers J Witzig | 6 | 2014 |
Reoptimization in branch-and-bound algorithms with an application to elevator control B Hiller, T Klug, J Witzig Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy …, 2013 | 6 | 2013 |
Conflict Analysis for MINLP J Witzig, T Berthold INFORMS Journal on Computing 33 (2), 421-435, 2021 | 3 | 2021 |
Conflict-Free Learning for Mixed Integer Programming J Witzig, T Berthold Integration of Constraint Programming, Artificial Intelligence, and …, 2020 | 3 | 2020 |