A A
en
Deutsch
English
Menü
Home Members Achterberg, Tobias, Dr.

Achterberg, Tobias, Dr.

Contact

Position
Guest
Room
4155
Phone
+49 30 84185-301
Email
Email
Division
Mathematical Algorithmic Intelligence
Department
AI in Society, Science, and Technology
Group
Interactive Optimization and Learning

Projects

Projects as Head

Media Name: Valse-XT_logo.png

Automated Validation of System-on-Chip Designs

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Automated Validation of System-on-Chip Designs

Projects as Member

Media Name: modal_icon_gruen.jpg

MODAL-SynLab

A major aim of the Research Campus MODAL is the development and use of mathematical synergies between the individual labs of the network. In this context, the fields of...

MODAL-SynLab
Media Name: Matheon-D17_icon.png

Chip Design Verification with Constraint Integer Programming

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Chip Design Verification with Constraint Integer Programming
Media Name: Valse-XT_logo.png

Automated Validation of System-on-Chip Designs

In the design process of integrated circuits and other electronic hardware, a huge amount of time and resources is spent on the verification of the design and the final...

Automated Validation of System-on-Chip Designs
Media Name: Momentum-quad.png

Models and Simulations for Network Planning and Control of UMTS

The deployment of mobile telecommunication networks for the new UMTS standard poses new challenges for radio network planning. In contrast to, for example, GSM, coverage...

Models and Simulations for Network Planning and Control of UMTS

Publications

2025
Efficient separation of RLT cuts for implicit and explicit bilinear terms Mathematical Programming, Vol.210, pp. 47-74, 2025 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
2023
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products Integer Programming and Combinatorial Optimization. IPCO 2023., pp. 14-28, Vol.13904, Lecture Notes in Computer Science, 2023 Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg BibTeX
DOI
2021
MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 Ambros Gleixner, Gregor Hendel, Gerald Gamrath, Tobias Achterberg, Michael Bastubbe, Timo Berthold, Philipp M. Christophel, Kati Jarck, Thorsten Koch, Jeff Linderoth, Marco Lübbecke, Hans Mittelmann, Derya Ozyurt, Ted Ralphs, Domenico Salvagnin, Yuji Shinano BibTeX
DOI
2020
Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores ZIB-Report 20-16 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF
BibTeX
URN
2019
Presolve Reductions in Mixed Integer Programming INFORMS Journal on Computing, 2019 (epub ahead of print, preprint available as ZIB-Report 16-44) Tobias Achterberg, Robert E. Bixby, Zonghao Gu, Edward Rothberg, Dieter Weninger PDF (ZIB-Report)
BibTeX
2016
Solving Open MIP Instances with ParaSCIP on Supercomputers using up to 80,000 Cores Proc. of 30th IEEE International Parallel & Distributed Processing Symposium, 2016 (preprint available as ZIB-Report 15-53) Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI
2014
Solving Hard MIPLIP2003 Problems with ParaSCIP on Supercomputers: An Update IPDPSW'14 Proceedings of the 2014 IEEE, International Parallel & Distributed Processing Symposium Workshops, IEEE (Ed.), pp. 1552-1561, 2014, ISBN: 978-1-4799-4117-9 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler BibTeX
DOI
2013
Solving hard MIPLIB2003 problems with ParaSCIP on Supercomputers: An update ZIB-Report 13-66 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler PDF
PDF
BibTeX
URN
制約整数計画ソルバ SCIP の並列化 ZIB-Report 13-22 Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler PDF
BibTeX
URN
2012
ParaSCIP: a parallel extension of SCIP Competence in High Performance Computing 2010, Christian Bischof, Heinz-Gerd Hegering, Wolfgang Nagel, Gabriel Wittum (Eds.), pp. 135-148, 2012 (preprint available as ZIB-Report 10-27) Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch PDF (ZIB-Report)
BibTeX
DOI
2011
CPAIOR 2011 - Late Breaking Abstracts ZIB-Report 11-20 PDF
BibTeX
URN
MIPLIB 2010 Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) Thorsten Koch, Tobias Achterberg, Erling Andersen, Oliver Bastert, Timo Berthold, Robert E. Bixby, Emilie Danna, Gerald Gamrath, Ambros Gleixner, Stefan Heinz, Andrea Lodi, Hans Mittelmann, Ted Ralphs, Domenico Salvagnin, Daniel Steffy, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
Rounding and Propagation Heuristics for Mixed Integer Programming Operations Research Proceedings 2011, pp. 71-76, 2011 (preprint available as ZIB-Report 11-29) Gregor Hendel, Timo Berthold, Tobias Achterberg PDF (ZIB-Report)
BibTeX
Which mixed integer programs could a million CPUs solve? CPAIOR 2011 – Late Breaking Abstracts, pp. 17-18, Tobias Achterberg, J. Christopher Beck (Eds.), Zuse Institute Berlin: Takustr. 7, Berlin, 2011 Thorsten Koch BibTeX
2010
The MCF-Separator – Detecting and Exploiting Multi-Commodity Flows in MIPs Mathematical Programming C, pp. 125-165, 2010 (preprint available as ZIB-Report 09-38) Tobias Achterberg, Christian Raack PDF (ZIB-Report)
BibTeX
2009
Constraint Integer Programming Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Robert E. Bixby (Advisors), 2009 Tobias Achterberg PDF
BibTeX
URN
Hybrid Branching Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Willem van Hoeve, John Hooker (Eds.), pp. 309-311, Vol.5547, Lecture Notes in Computer Science, 2009 Tobias Achterberg, Timo Berthold BibTeX
2008
Constraint Integer Programming: A New Approach to Integrate CP and MIP Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Laurent Perron, Michael Trick (Eds.), pp. 6-20, Vol.5015, Lecture Notes in Computer Science, 2008 (preprint available as ZIB-Report 08-01) Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter PDF (ZIB-Report)
BibTeX
DOI
Constraint Integer Programming: Techniques and Applications ZIB-Report 08-43 Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter PDF
BibTeX
URN
Counting Solutions of Integer Programs Using Unrestricted Subtree Detection Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Laurent Perron, Michael Trick (Eds.), pp. 278-282, Vol.5015, Lecture Notes in Computer Science, 2008 (preprint available as ZIB-Report 08-09) Tobias Achterberg, Stefan Heinz, Thorsten Koch PDF (ZIB-Report)
BibTeX
On the Effects of Minor Changes in Model Formulations ZIB-Report 08-29 Tobias Achterberg, Thorsten Koch, Andreas Tuchscherer PDF
BibTeX
URN
2007
Constraint Integer Programming Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Robert E. Bixby (Advisors), 2007 Tobias Achterberg PDF
PDF
BibTeX
URN
Improving the Feasibility Pump Discrete Optimization, Special Issue 4(1), pp. 77-86, 2007 (preprint available as ZIB-Report 05-42) Tobias Achterberg, Timo Berthold PDF (ZIB-Report)
BibTeX
Property Checking with Constraint Integer Programming ZIB-Report 07-37 Tobias Achterberg, Raik Brinkmann, Markus Wedler PDF
BibTeX
URN
2006
MIPLIB 2003 Operations Research Letters, 34(4), pp. 361-372, 2006 (preprint available as ZIB-Report 05-28) Tobias Achterberg, Thorsten Koch, Alexander Martin PDF (ZIB-Report)
BibTeX
DOI
Software for Teaching Modeling of Integer Programming Problems ZIB-Report 06-23 Tobias Achterberg, Martin Grötschel, Thorsten Koch PDF
BibTeX
URN
Teaching MIP Modeling and Solving OR/MS Today, 33(6), pp. 14-15, 2006 Tobias Achterberg, Martin Grötschel, Thorsten Koch BibTeX
2005
Branching Rules Revisited Operations Research Letters, 33(1), pp. 42-54, 2005 (preprint available as ZIB-Report 04-13) Tobias Achterberg, Thorsten Koch, Alexander Martin PDF (ZIB-Report)
BibTeX
DOI
Conflict Analysis in Mixed Integer Programming ZIB-Report 05-19 (Appeared in: Discrete Optimization 4 (2007) 4-20) Tobias Achterberg PDF
BibTeX
URN
2004
SCIP - a framework to integrate Constraint and Mixed Integer Programming ZIB-Report 04-19 Tobias Achterberg PDF
BibTeX
URN
2003
Modelling Feasible Network Configurations for UMTS Telecommunications Network Design and Management, G. Anandalingam, S. Raghavan (Eds.), 2003 (preprint available as ZIB-Report 02-16) Andreas Eisenblätter, Thorsten Koch, Alexander Martin, Tobias Achterberg, Armin Fügenschuh, Arie M.C.A. Koster, Oliver Wegel, Roland Wessäly PDF (ZIB-Report)
BibTeX
2002
Branching on History Information ZIB-Report 02-32 Tobias Achterberg, Thorsten Koch, Alexander Martin PDF
BibTeX
URN
Mathematical Model of Feasible Network Configurations for UMTS Telecommunications network design and management, S. G. Anandalingam (Ed.), Kluwer, pp. 1-24, 2002 Andreas Eisenblätter, Armin Fügenschuh, Thorsten Koch, Arie M.C.A. Koster, Alexander Martin, Tobias Pfender, Oliver Wegel, Roland Wessäly BibTeX