All Questions
Tagged with statistical-physics max2sat
1 question
1
vote
0
answers
102
views
Software tool to generate the Ising model for random $k$-SAT problems
Is there a software tool available to study the phase transition of the underlying Ising model for a given class of random $k$-SAT problems? I am basically asking whether the framework presented in ...