Algorithmic QUBO formulations for k-SAT