An algorithm for generating hard weighted Max-2-SAT instances with frustrated loops on a bipartite Ising spin glass. A complete description of the algorithm is provided here, https://arxiv.org/abs/1905.05334, which includes analytic and empirical studies on the hardness properties of the generated instances. Email: [email protected].
This repository is no longer being maintained. The project is migrated to to the following repository:
https://github.com/PeaBrane/Ising-Simulation.git