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 this paper is already implemented in a public domain library.

  • $\begingroup$ I am not aware of open-source implementations for specifically the Ising model mapping of k-SAT, but here are a couple of suggestions that might be helpful. The first paper below explicitly constructs OR gates in terms of Ising spins. The second paper describes numerical techniques for solving Ising and other spin-glass problems using tensor networks, and includes an open-source implementation. arxiv.org/abs/1205.1742 arxiv.org/abs/1912.03014 $\endgroup$ – delete000 Apr 7 at 15:32

Your Answer

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

Browse other questions tagged or ask your own question.