1
$\begingroup$

What is the best MAX-SAT solver problems for Ising spin glass? I tried Scip-Max-sat and open-wbo. While open-wbo cannot solve the instance with only 27 variable Scip-max-Sat fail to solve the one with 200+ variables (while it can solve model with 100 variables in 30 secs).... I am not sure whether I have missed something or is it the state of art solution space for ising spin glass is 100+ variables.

Here's the test case I use: https://www.dropbox.com/sh/qg9u20w040e7hpn/AACg428cWgNfqF6pQG36URCxa?dl=0

$\endgroup$
1
$\begingroup$

I don't know if you're really interested in MAX-SAT, or in finding the ground state of an Ising spin glass (I suppose the two are equivalent if the spin coupling values are $\pm 1$, for example). In any case, if you're interested in algorithms that can find approximate solutions efficiently, you should take a look at the papers by Helmut Katzgraber at Texas A&M University.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.