Skip to main content
Home
  • Impressum und Datenschutz
  • English
  • Deutsch
Print
-A +A
  • Research
    • Solutions for Individualized Medicine
    • Molecular and Biological Processes
    • Materials and Optical Processes
    • Combinatorics and MINLP
    • MSO for Multiscale Systems
    • Robust Solutions under Uncertainty
    • Digital Humanities
    • Efficient Infrastructure and Logistics
    • Large-Scale Data Management, Curation & Analysis
    • Highly Parallel Computing
    • Scalable and Fault-Tolerant Algorithms
    • Publications
    • Books
    • Features
  • Institute
    • Research Campus MODAL
    • Intel oneAPI CoE
    • Joint Lab Optics
    • Oracle Center of Excellence
    • Organization
    • Organizational Chart
    • Committees and Regulations
    • Spin-Offs
    • Konrad Zuse
    • Hall of Fame
  • Research Services
    • NHR Center at ZIB
    • Supercomputing
    • Data Archive
    • KOBV
    • BRAIN
    • Software
    • Room Reservation
    • Library
  • Members
  • Training & Outreach
    • Graduate Students
    • Scholarships
    • Lectures
    • Trainee Openings
    • Schools
    • Press
    • Public Events
    • Guided Tours
    • Alumni
    • Topics for theses
  • Contact
Home  |  Members  |  Achterberg, Dr. Tobias

Achterberg, Dr. Tobias

Position: 
Guest
Room: 
4155
Division: 
Mathematical Algorithmic Intelligence
Department: 
AI in Society, Science, and Technology (AIS²T)
Mail: 
achterbergzib.de
Phone: 
+49 30 84185 - 301
Fax: 
+49 30 84185 - 269
Birth name: 
Tobias Pfender

Projects

Head

Automated Validation of System-on-Chip Designs

Member

MODAL-SynLab
Models and Simulations for Network Planning and Control of UMTS
Automated Validation of System-on-Chip Designs
Chip Design Verification with Constraint Integer Programming

Publications

2022 2021 2020 2019 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002

2022

Ksenia Bestuzheva, Ambros Gleixner, Tobias Achterberg Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products 2022 BibTeX
arXiv

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 MIPLIB 2017: Data-Driven Compilation of the 6th Mixed-Integer Programming Library Mathematical Programming Computation, 13(3), pp. 443-490, 2021 BibTeX
DOI

2020

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler Solving Previously Unsolved MIP Instances with ParaSCIP on Supercomputers by using up to 80,000 Cores ZIB-Report 20-16 PDF
BibTeX
URN

2019

Tobias Achterberg, Robert E. Bixby, Zonghao Gu, Edward Rothberg, Dieter Weninger Presolve Reductions in Mixed Integer Programming INFORMS Journal on Computing, 2019 (epub ahead of print, preprint available as ZIB-Report 16-44) PDF (ZIB-Report)
BibTeX

2016

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler 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) PDF (ZIB-Report)
PDF (ZIB-Report)
BibTeX
DOI

2014

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler 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 BibTeX
DOI

2013

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Michael Winkler Solving hard MIPLIB2003 problems with ParaSCIP on Supercomputers: An update ZIB-Report 13-66 PDF
PDF
BibTeX
URN
Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Stefan Vigerske, Michael Winkler 制約整数計画ソルバ SCIP の並列化 ZIB-Report 13-22 PDF
BibTeX
URN

2012

Yuji Shinano, Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch 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) PDF (ZIB-Report)
BibTeX
DOI

2011

CPAIOR 2011 - Late Breaking Abstracts ZIB-Report 11-20 PDF
BibTeX
URN
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 MIPLIB 2010 Mathematical Programming Computation, 3(2), pp. 103-163, 2011 (preprint available as ZIB-Report 10-31) PDF (ZIB-Report)
BibTeX
DOI
Gregor Hendel, Timo Berthold, Tobias Achterberg Rounding and Propagation Heuristics for Mixed Integer Programming Operations Research Proceedings 2011, pp. 71-76, 2011 (preprint available as ZIB-Report 11-29) PDF (ZIB-Report)
BibTeX
Thorsten Koch 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 BibTeX

2010

Tobias Achterberg, Christian Raack 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) PDF (ZIB-Report)
BibTeX

2009

Tobias Achterberg Constraint Integer Programming Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Robert E. Bixby (Advisors), 2009 PDF
BibTeX
URN
Tobias Achterberg, Timo Berthold 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 BibTeX

2008

Tobias Achterberg, Timo Berthold, Thorsten Koch, Kati Wolter 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) PDF (ZIB-Report)
BibTeX
DOI
Tobias Achterberg, Timo Berthold, Stefan Heinz, Thorsten Koch, Kati Wolter Constraint Integer Programming: Techniques and Applications ZIB-Report 08-43 PDF
BibTeX
URN
Tobias Achterberg, Stefan Heinz, Thorsten Koch 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) PDF (ZIB-Report)
BibTeX
Tobias Achterberg, Thorsten Koch, Andreas Tuchscherer On the Effects of Minor Changes in Model Formulations ZIB-Report 08-29 PDF
BibTeX
URN

2007

Tobias Achterberg Constraint Integer Programming Doctoral thesis, Technische Universität Berlin, Martin Grötschel, Robert E. Bixby (Advisors), 2007 PDF
PDF
BibTeX
URN
Tobias Achterberg, Timo Berthold Improving the Feasibility Pump Discrete Optimization, Special Issue 4(1), pp. 77-86, 2007 (preprint available as ZIB-Report 05-42) PDF (ZIB-Report)
BibTeX
Tobias Achterberg, Raik Brinkmann, Markus Wedler Property Checking with Constraint Integer Programming ZIB-Report 07-37 PDF
BibTeX
URN

2006

Tobias Achterberg, Thorsten Koch, Alexander Martin MIPLIB 2003 Operations Research Letters, 34(4), pp. 361-372, 2006 (preprint available as ZIB-Report 05-28) PDF (ZIB-Report)
BibTeX
DOI
Tobias Achterberg, Martin Grötschel, Thorsten Koch Software for Teaching Modeling of Integer Programming Problems ZIB-Report 06-23 PDF
BibTeX
URN
Tobias Achterberg, Martin Grötschel, Thorsten Koch Teaching MIP Modeling and Solving OR/MS Today, 33(6), pp. 14-15, 2006 BibTeX

2005

Tobias Achterberg, Thorsten Koch, Alexander Martin Branching Rules Revisited Operations Research Letters, 33(1), pp. 42-54, 2005 (preprint available as ZIB-Report 04-13) PDF (ZIB-Report)
BibTeX
DOI
Tobias Achterberg Conflict Analysis in Mixed Integer Programming ZIB-Report 05-19 (Appeared in: Discrete Optimization 4 (2007) 4-20) PDF
BibTeX
URN

2004

Tobias Achterberg SCIP - a framework to integrate Constraint and Mixed Integer Programming ZIB-Report 04-19 PDF
BibTeX
URN

2003

Andreas Eisenblätter, Thorsten Koch, Alexander Martin, Tobias Achterberg, Armin Fügenschuh, Arie M.C.A. Koster, Oliver Wegel, Roland Wessäly Modelling Feasible Network Configurations for UMTS Telecommunications Network Design and Management, G. Anandalingam, S. Raghavan (Eds.), 2003 (preprint available as ZIB-Report 02-16) PDF (ZIB-Report)
BibTeX

2002

Tobias Achterberg, Thorsten Koch, Alexander Martin Branching on History Information ZIB-Report 02-32 PDF
BibTeX
URN
Andreas Eisenblätter, Armin Fügenschuh, Thorsten Koch, Arie M.C.A. Koster, Alexander Martin, Tobias Pfender, Oliver Wegel, Roland Wessäly Mathematical Model of Feasible Network Configurations for UMTS Telecommunications network design and management, S. G. Anandalingam (Ed.), Kluwer, pp. 1-24, 2002 BibTeX
  • Research
    • Solutions for Individualized Medicine
    • Molecular and Biological Processes
    • Materials and Optical Processes
    • Combinatorics and MINLP
    • MSO for Multiscale Systems
    • Robust Solutions under Uncertainty
    • Digital Humanities
    • Efficient Infrastructure and Logistics
    • Large-Scale Data Management, Curation & Analysis
    • Highly Parallel Computing
    • Scalable and Fault-Tolerant Algorithms
    • Publications
    • Books
    • Features
  • Institute
    • Research Campus MODAL
    • Intel oneAPI CoE
    • Joint Lab Optics
    • Oracle Center of Excellence
    • Organization
    • Organizational Chart
    • Committees and Regulations
    • Spin-Offs
    • Konrad Zuse
    • Hall of Fame
  • Research Services
    • NHR Center at ZIB
    • Supercomputing
    • Data Archive
    • KOBV
    • BRAIN
    • Software
    • Room Reservation
    • Library
  • Members
  • Training & Outreach
    • Graduate Students
    • Scholarships
    • Lectures
    • Trainee Openings
    • Schools
    • Press
    • Public Events
    • Guided Tours
    • Alumni
    • Topics for theses
  • Contact