Jul, 2023

MiniZinc 程序自动转换为 QUBO

TL;DR利用 MiniZinc 转换成 QUBO 的自动转换器,可以有效地将大量的约束优化和约束满足问题转化为等效的 QUBOs,从而优化整个过程。