Automatic Conversion of MiniZinc Programs to QUBO

no code implementations • 19 Jul 2023 • Armin Wolf, Cristian Grozea

Obtaining Quadratic Unconstrained Binary Optimisation models for various optimisation problems, in order to solve those on physical quantum computers (such as the the DWave annealers) is nowadays a lengthy and tedious process that requires one to remodel all problem variables as binary variables and squeeze the target function and the constraints into a single quadratic polynomial into these new variables.

Optimising Rolling Stock Planning including Maintenance with Constraint Programming and Quantum Annealing

no code implementations • 15 Sep 2021 • Patricia Bickert, Cristian Grozea, Ronny Hans, Matthias Koch, Christina Riehn, Armin Wolf

We propose and compare Constraint Programming (CP) and Quantum Annealing (QA) approaches for rolling stock assignment optimisation considering necessary maintenance tasks.

Solving the Extended Job Shop Scheduling Problem with AGVs -- Classical and Quantum Approaches

no code implementations • 10 Sep 2021 • Marc Geitz, Cristian Grozea, Wolfgang Steigerwald, Robin Stöhr, Armin Wolf

The subject of Job Scheduling Optimisation (JSO) deals with the scheduling of jobs in an organization, so that the single working steps are optimally organized regarding the postulated targets.

Job Shop Scheduling Scheduling