Automatic Conversion of MiniZinc Programs to QUBO

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 anneale…