Abstract
Ising Models, defined by quadratic objective functions (or Hamiltonians), enable to use quantum annealers to search for optimal or near-optimal solutions of satisfiability problems. However, current quantum annealers have limited resolution, meaning that small or closely-valued coefficients in the Hamiltonian may be obscured by flux noise, leading to a degradation in the performance of quantum annealing. In this paper, we propose a novel design methodology for encoding satisfiability problems into Ising models via Integer Linear Programming. Experimental results show that our method can effectively reduce the resolution requirements for quantum annealers.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call