dkitch / maxsat-ising

Ground-state solver for a generalized Ising model, based on MAXSAT and convex optimization, following the algorithm described in Huang et al, "Finding and proving the exact ground state of a generalized Ising model by convex optimization and MAXSAT" Phys. Rev. B 94, 134424 (2016)
15Updated 8 years ago

Related projects

Alternatives and complementary repositories for maxsat-ising