Jakob Witzig

Engineering · Physical Sciences

8h-index440citations29works0.52yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Vehicle Routing Optimization Methods(12), Formal Methods in Verification(11), Constraint Satisfaction and Optimization(6), Scheduling and Optimization Algorithms(5), Advanced Optimization Algorithms Research(5)

Publications29 total

A diving heuristic for mixed-integer problems with unbounded semi-continuous variables
EURO Journal on Computational Optimization·2025· 2 citedOpen Access
A diving heuristic for mixed-integer problems with unbounded semi-continuous variables
arXiv (Cornell University)·2024Open Access
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
arXiv (Cornell University)·2024Open Access
Branch and Cut for Partitioning a Graph into a Cycle of Clusters
Lecture notes in computer science·2024
Enabling Research through the SCIP Optimization Suite 8.0
ACM Transactions on Mathematical Software·2023· 60 citedOpen Access
SCIP8: rethinking nonlinear constraint representation and recent progress
HAL (Le Centre pour la Communication Scientifique Directe)·2022Open Access
The SCIP Optimization Suite 8.0
arXiv (Cornell University)·2021· 11 citedOpen Access
Conflict Analysis for MINLP
INFORMS journal on computing·2021· 3 cited
Computational aspects of infeasibility analysis in mixed integer programming
Mathematical Programming Computation·2021· 5 citedOpen Access
Conflict-Driven Heuristics for Mixed Integer Programming
INFORMS journal on computing·2020Open Access
Conflict-Free Learning for Mixed Integer Programming
Lecture notes in computer science·2020· 1 cited
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
arXiv (Cornell University)·2019Open Access
Local Rapid Learning for Integer Programs
arXiv (Cornell University)·2019Open Access
A Status Report on Conflict Analysis in Mixed Integer Nonlinear\n Programming
arXiv (Cornell University)·2019Open Access
A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming
Lecture notes in computer science·2019· 5 cited
Adaptive Algorithmic Behavior for Solving Mixed Integer Programs Using Bandit Algorithms
Operations research proceedings·2019· 12 cited
Adaptive Algorithmic Behavior for Solving Mixed Integer Programs Using Bandit Algorithms
RePEc: Research Papers in Economics·2019
Local Rapid Learning for Integer Programs
Lecture notes in computer science·2019· 7 cited
The SCIP Optimization Suite 6.0
TUbilio (Technical University of Darmstadt)·2018· 101 cited
Structure-Based Decomposition for Pattern-Detection for Railway Timetables
Operations research proceedings·2018· 1 cited
page 1 of 2Next →

Frequent Co-authors

Ambros Gleixner(11), Timo Berthold(10), Gerald Gamrath(7), Thorsten Koch(6), Stephen J. Maher(6), Benjamin Müller(6), Marc E. Pfetsch(6), Yuji Shinano(6), Leon Eifler(6), Dieter Weninger(6), Stefan Heinz(6), Gregor Hendel(5), Matthias Miltenberger(5), Marco E. Lübbecke(5), Daniel Rehfeldt(5), Katrin Halbig(5), Alexander Hoen(5), Felipe Serrano(4), Stefan Vigerske(4), Fabian Wegscheider(4)