maxsat-ising
maxsat-ising copied to clipboard
dkitch
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 generaliz...
Results
0
maxsat-ising issues
Sort by
recently updated
recently updated
newest added