The SCIP optimization suite 5.0 A Gleixner, L Eifler, T Gally, G Gamrath, P Gemander, RL Gottwald, ... | 236 | 2017 |
The scip optimization suite 3.2 G Gamrath, T Fischer, T Gally, AM Gleixner, G Hendel, T Koch, SJ Maher, ... | 114 | 2016 |
The SCIP optimization suite 4.0 SJ Maher, T Fischer, T Gally, G Gamrath, A Gleixner, RL Gottwald, ... | 95 | 2017 |
The SCIP Optimization Suite 7.0 G Gamrath, D Anderson, K Bestuzheva, WK Chen, L Eifler, M Gasse, ... | 24 | 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 |
Local rapid learning for integer programs T Berthold, PJ Stuckey, J Witzig International Conference on Integration of Constraint Programming …, 2019 | 5 | 2019 |
Adaptive algorithmic behavior for solving mixed integer programs using bandit algorithms G Hendel, M Miltenberger, J Witzig Operations Research Proceedings 2018, 513-519, 2019 | 5 | 2019 |
The SCIP Optimization Suite 5.0: Technical report A Gleixner, L Eifler, T Gally, G Gamrath, P Gemander, RL Gottwald, ... ZIB, Takustr. 7 Berlin, 2017 | 5 | 2017 |
Reoptimization Techniques in MIP Solvers G Gamrath, B Hiller, J Witzig ZIB-Report, 2015 | 5 | 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 | 5 | 2013 |
Conflict-driven heuristics for mixed integer programming J Witzig, A Gleixner INFORMS Journal on Computing, 2020 | 3 | 2020 |
Computational Aspects of Infeasibility Analysis in Mixed Integer Programming J Witzig, T Berthold, S Heinz | 3 | 2019 |
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 |
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 |
Conflict Analysis for MINLP T Berthold, J Witzig | | 2020 |