Graph-theoretic Formulation of QUBO for Scalable Local Search on GPUs | IEEE Conference Publication | IEEE Xplore