| The SCIP optimization suite 5.0 A Gleixner, L Eifler, T Gally, G Gamrath, P Gemander, RL Gottwald, ... | 278 | 2017 |
| The scip optimization suite 3.2 G Gamrath, T Fischer, T Gally, A Gleixner, G Hendel, T Koch, SJ Maher, ... | 121 | 2016 |
| The SCIP optimization suite 4.0 SJ Maher, T Fischer, T Gally, G Gamrath, A Gleixner, RL Gottwald, ... | 100 | 2017 |
| The scip optimization suite 7.0 G Gamrath, D Anderson, K Bestuzheva, WK Chen, L Eifler, M Gasse, ... | 67 | 2020 |
| Experiments with conflict analysis in mixed integer programming J Witzig, T Berthold, S Heinz International Conference on AI and OR Techniques in Constraint Programming …, 2017 | 18 | 2017 |
| A status report on conflict analysis in mixed integer nonlinear programming J Witzig, T Berthold, S Heinz International Conference on Integration of Constraint Programming …, 2019 | 8 | 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 |
| Adaptive algorithmic behavior for solving mixed integer programs using bandit algorithms G Hendel, M Miltenberger, J Witzig Operations Research Proceedings 2018, 513-519, 2019 | 6 | 2019 |
| Reoptimization Techniques in MIP Solvers G Gamrath, B Hiller, J Witzig ZIB-Report, 2015 | 6 | 2015 |
| Reoptimization in branch-and-bound algorithms with an application to elevator control B Hiller, T Klug, J Witzig International Symposium on Experimental Algorithms, 378-389, 2013 | 6 | 2013 |
| Local rapid learning for integer programs T Berthold, PJ Stuckey, J Witzig International Conference on Integration of Constraint Programming …, 2019 | 5 | 2019 |
| Conflict-driven heuristics for mixed integer programming J Witzig, A Gleixner INFORMS Journal on Computing 33 (2), 706-720, 2021 | 4 | 2021 |
| Computational aspects of infeasibility analysis in mixed integer programming J Witzig, T Berthold, S Heinz Mathematical Programming Computation, 1-33, 2021 | 3 | 2021 |
| Reoptimization techniques in MIP solvers J Witzig | 3 | 2014 |
| 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 | 2 | 2018 |
| Conflict analysis for minlp T Berthold, J Witzig INFORMS Journal on Computing 33 (2), 421-435, 2021 | 1 | 2021 |
| Structure-based decomposition for pattern-detection for railway timetables S Schade, T Schlechte, J Witzig Operations Research Proceedings 2017, 715-721, 2018 | 1 | 2018 |
| Mixed-integer programming for cycle detection in non-reversible markov processes I Beckenbach, L Eifler, K Fackeldey, A Gleixner, A Grever, M Weber, ... arXiv preprint arXiv:1609.02063, 2016 | 1 | 2016 |
| Effiziente Reoptimierung in Branch&Bound-Verfahren für die Steuerung von Aufzügen J Witzig | 1 | 2013 |
| Conflict-Free Learning for Mixed Integer Programming J Witzig, T Berthold International Conference on Integration of Constraint Programming …, 2020 | | 2020 |
Ambros GleixnerDepartment Optimization, Zuse Institute BerlinVerified email at zib.de
