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

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