Tobias Achterberg

Orcid: 0000-0002-0862-7065

According to our database1, Tobias Achterberg authored at least 21 papers between 2005 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Efficient Separation of RLT Cuts for Implicit and Explicit Bilinear Products.
Proceedings of the Integer Programming and Combinatorial Optimization, 2023

2021
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library.
Math. Program. Comput., 2021

An Exact Method for the Minimum Feedback Arc Set Problem.
ACM J. Exp. Algorithmics, 2021

2020
Presolve Reductions in Mixed Integer Programming.
INFORMS J. Comput., 2020

2016
Solving Open MIP Instances with ParaSCIP on Supercomputers Using up to 80, 000 Cores.
Proceedings of the 2016 IEEE International Parallel and Distributed Processing Symposium, 2016

2014
Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013
Stronger Inference through Implied Literals from Conflicts and Knapsack Covers.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

2011
MIPLIB 2010.
Math. Program. Comput., 2011

Rounding and Propagation Heuristics for Mixed Integer Programming.
Proceedings of the Operations Research Proceedings 2011, Selected Papers of the International Conference on Operations Research (OR 2011), August 30, 2011

2010
The Mcf-separator: detecting and exploiting multi-commodity flow structures in MIPs.
Math. Program. Comput., 2010

ParaSCIP: A Parallel Extension of SCIP.
Proceedings of the Competence in High Performance Computing 2010, 2010

2009
SCIP: solving constraint integer programs.
Math. Program. Comput., 2009

Hybrid Branching.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

2008
A Dynamic Load Balancing Mechanism for New ParaLEX.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008

Counting Solutions of Integer Programs Using Unrestricted Subtree Detection.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Constraint Integer Programming: A New Approach to Integrate CP and MIP.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

2007
Constraint integer programming.
PhD thesis, 2007

Improving the feasibility pump.
Discret. Optim., 2007

Conflict analysis in mixed integer programming.
Discret. Optim., 2007

2006
MIPLIB 2003.
Oper. Res. Lett., 2006

2005
Branching rules revisited.
Oper. Res. Lett., 2005


  Loading...