TY - RPRT TI - Algorithmic QUBO Formulations for k-SAT and Hamiltonian Cycles AU - Jonas Nüßlein AU - Thomas Gabor AU - Claudia Linnhoff-Popien AU - Sebastian Feld PY - 2022 DO - 10.1145/3520304.3533952 UR - https://arxiv.org/abs/2204.13539 ID - 2204.13539 ER -