ising-formulations