The backtracking survey propagation algorithm for solving random K-SAT problems

Open in new window