2025
An exceptionally difficult binary quadratic optimization problem with symmetry: a challenge for the largest unsolved QAP instance Tai256c.
Optim. Lett., July, 2025
2024
A parallel branch-and-bound heuristic for the integrated long-haul and local vehicle routing problem on an adaptive transportation network.
Comput. Oper. Res., 2024
2023
Faster exact solution of sparse MaxCut and QUBO problems.
Math. Program. Comput., September, 2023
Enabling Research through the SCIP Optimization Suite 8.0.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
ACM Trans. Math. Softw., June, 2023
2022
Location, transshipment and routing: An adaptive transportation network integrating long-haul and local vehicle routing.
EURO J. Transp. Logist., 2022
APDCM 2022 Keynote Talk: Solving QUBOs on Digital and Quantum Computers.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium, 2022
2021
MIPLIB 2017: data-driven compilation of the 6th mixed-integer programming library.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Math. Program. Comput., 2021
Assessing the Effectiveness of (Parallel) Branch-and-bound Algorithms.
CoRR, 2021
CMAP-LAP: Configurable Massively Parallel Solver for Lattice Problems.
Proceedings of the 28th IEEE International Conference on High Performance Computing, 2021
2020
Massive parallelization for finding shortest lattice vectors based on ubiquity generator framework.
Proceedings of the International Conference for High Performance Computing, 2020
2019
Parallel PIPS-SBB: multi-level parallelism for stochastic mixed-integer programs.
Comput. Optim. Appl., 2019
An Easy Way to Build Parallel State-of-the-art Combinatorial Optimization Problem Solvers: A Computational Study on Solving Steiner Tree Problems and Mixed Integer Semidefinite Programs by using ug[SCIP-*, *]-Libraries.
Proceedings of the IEEE International Parallel and Distributed Processing Symposium Workshops, 2019
Building Optimal Steiner Trees on Supercomputers by Using up to 43, 000 Cores.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019
2018
ParaXpress: an experimental extension of the FICO Xpress-Optimizer to solve hard MIPs on supercomputers.
Optim. Methods Softw., 2018
FiberSCIP - A Shared Memory Parallelization of SCIP.
INFORMS J. Comput., 2018
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018
Parallel Solvers for Mixed Integer Linear Optimization.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2017
SCIP-Jack - a solver for STP and variants with parallelization extensions.
Math. Program. Comput., 2017
Distributed Domain Propagation.
Proceedings of the 16th International Symposium on Experimental Algorithms, 2017
The Ubiquity Generator Framework: 7 Years of Progress in Parallelizing Branch-and-Bound.
Proceedings of the Operations Research Proceedings 2017, 2017
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
A First Implementation of ParaXpress: Combining Internal and External Parallelization to Solve MIPs on Supercomputers.
Proceedings of the Mathematical Software - ICMS 2016, 2016
2014
Solving Hard MIPLIB2003 Problems with ParaSCIP on Supercomputers: An Update.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014
2012
Could we use a million cores to solve an integer program?
Math. Methods Oper. Res., 2012
2010
ParaSCIP: A Parallel Extension of SCIP.
Proceedings of the Competence in High Performance Computing 2010, 2010
2008
A Dynamic Load Balancing Mechanism for New ParaLEX.
Proceedings of the 14th International Conference on Parallel and Distributed Systems, 2008
2007
ParaLEX: A Parallel Extension for the CPLEX Mixed Integer Optimizer.
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User's Group Meeting, Paris, France, September 30, 2007
Automatic Range Image Registration Using Mixed Integer Linear Programming.
Proceedings of the Computer Vision, 2007
2006
Computing the Diameter of 17-Pancake Graph Using a PC Cluster.
Proceedings of the Euro-Par 2006, Parallel Processing, 12th International Euro-Par Conference, Dresden, Germany, August 28, 2006
2005
Minimizing State Transition Model for Multiclassification by Mixed-Integer Programming.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005
Computing the Diameters of 14- and 15-Pancake Graphs.
Proceedings of the 8th International Symposium on Parallel Architectures, 2005
2004
Solving the Longest Word-Chain Problem.
Proceedings of the ICINCO 2004, 2004
2003
A Simulator for Message Passing Based Parallel and Distributed Programs to Evaluate the Influence of Latency of Message Transfers.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Effectiveness of Parallelizing the ILOG-CPLEX Mixed Integer Optimizer in the PUBB2 Framework.
Proceedings of the Euro-Par 2003. Parallel Processing, 2003
2002
An Algorithm of the Optimal Order of Component Mounting on an Electronic Circuit Board.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
Combining Imperfect Components (II) - The Case of Multidimensional Error.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002
1998
Solving the Maximum Clique Problem Using PUBB.
Proceedings of the 12th International Parallel Processing Symposium / 9th Symposium on Parallel and Distributed Processing (IPPS/SPDP '98), March 30, 1998
1997
Control Schemes in a Generalized Utility for Parallel Branch-and-Bound Algorithms.
Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997
1996
An Interface Design for General Parallel Branch-and-Bound Algorithms.
Proceedings of the Parallel Algorithms for Irregularly Structured Problems, 1996
1995
A generalized utility for parallel branch and bound algorithms.
Proceedings of the Seventh IEEE Symposium on Parallel and Distributed Processing, 1995