no code implementations • 9 Oct 2013 • Rémi Lemoy, Mikko Alava, Erik Aurell
A Variable-based Focused Metropolis Search (V-FMS) is then applied to random 3-SAT.