T
Tobias Achterberg
Researcher at IBM
Publications - 30
Citations - 3796
Tobias Achterberg is an academic researcher from IBM. The author has contributed to research in topics: Integer programming & Branch and price. The author has an hindex of 18, co-authored 29 publications receiving 3335 citations. Previous affiliations of Tobias Achterberg include Zuse Institute Berlin.
Papers
More filters
Journal ArticleDOI
SCIP: solving constraint integer programs
TL;DR: An overview of the main design concepts of SCIP and how it can be used to solve constraint integer programs is given and experimental results show that the approach outperforms current state-of-the-art techniques for proving the validity of properties on circuits containing arithmetic.
DissertationDOI
Constraint Integer Programming
TL;DR: This thesis deals with chip design verification, which is an important topic of electronic design automation, and shows how this problem can be modeled as constraint integer program and provide a number of problem-specific algorithms that exploit the structure of the individual constraints and the circuit as a whole.
Journal ArticleDOI
Branching rules revisited
TL;DR: A new generalization called reliability branching is presented of today's state-of-the-art strong branching and pseudocost branching strategies for linear programming based branch-and-bound algorithms and shows the superiority of this proposed new strategy.
Journal ArticleDOI
MIPLIB 2010 - Mixed Integer Programming Library version 5
Thorsten Koch,Tobias Achterberg,Erling D. Andersen,Oliver Bastert,Timo Berthold,Robert E. Bixby,Emilie Danna,Gerald Gamrath,Ambros M. Gleixner,Stefan Heinz,Andrea Lodi,Hans D. Mittelmann,Ted K. Ralphs,Domenico Salvagnin,Daniel E. Steffy,Kati Wolter +15 more
TL;DR: The fifth version of the Mixed Integer Programming Library is reported on, which comprises 361 instances sorted into several groups and includes scripts to run automated tests in a predefined way.
Journal ArticleDOI
Miplib 2003
TL;DR: The fourth version of the Mixed Integer Programming Library (MIPLIB) as discussed by the authors contains 27 new problems and statistical data for all 60 instances of the MIPLIB library. But these new problems are difficult to solve.