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.

翻译：为将各类优化问题转化为二次无约束二元优化模型，以便在物理量子计算机（如DWave退火器）上求解，目前仍是一个漫长且繁琐的过程。这要求将所有问题变量重新建模为二元变量，并将目标函数和约束条件压缩为关于这些新变量的单一二次多项式。本文报告了我们从MiniZinc到QUBO自动转换器的基础原理，该转换器能够处理大量约束优化与约束满足问题，并将其转化为等价的QUBO形式，从而有效优化整个流程。