Jonas Nüßlein Thomas Gabor Claudia Linnhoff-Popien Sebastian Feld Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles. 2022 abs/2204.13539 CoRR https://doi.org/10.48550/arXiv.2204.13539 db/journals/corr/corr2204.html#abs-2204-13539