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

Factor graphs and the sum-product algorithm

Frank R. Kschischang, Brendan J. Frey, Hans‐Andrea Loeliger · IEEE Transactions on Information Theory · 2001 · 6.4K citations

Mathematical Programming, Artificial Intelligence, Engineering +21

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.1K citations · Full text

Engineering, Verification, Automated Proof +17

Analytic and Algorithmic Solution of Random Satisfiability Problems

Marc Mézard, Giorgio Parisi, Riccardo Zecchina · Science · 2002 · 1K citations · Full text

Mathematical Programming, Engineering, Computational Complexity +18

Determining computational complexity from characteristic ‘phase transitions’

Rémi Monasson, Riccardo Zecchina, Scott Kirkpatrick et al. · Nature · 1999 · 789 citations

Computational Complexity Theory, Engineering, Computational Complexity +3

Noise strategies for improving local search

Bart Selman, Henry Kautz, Brain Cohen · 1994 · 758 citations