Automatic Conversion of MiniZinc Programs to QUBO
Mathematical Software
2023-07-20 v1 Artificial Intelligence
Abstract
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. We report here on the basis of our automatic converter from MiniZinc to QUBO, which is able to process a large set of constraint optimisation and constraint satisfaction problems and turn them into equivalent QUBOs, effectively optimising the whole process.
Cite
@article{arxiv.2307.10032,
title = {Automatic Conversion of MiniZinc Programs to QUBO},
author = {Armin Wolf and Cristian Grozea},
journal= {arXiv preprint arXiv:2307.10032},
year = {2023}
}