Algorithmic QUBO Formulations for Max k-SAT and Hamiltonian Cycles This repository contains the code for the paper about algorithmic QUBO formulations of k-SAT and Hamiltonian cycles.