Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles

Jonas Nüßlein, Thomas Gabor, Claudia Linnhoff-Popien +1

Quadratic unconstrained binary optimization (QUBO) can be seen as a generic language for optimization problems. QUBOs attract particular attention since they can be solved with qua…