Ising Formulations of Many NP Problems | AMiner