55 citations · 176 across the 6 of their papers we have counts for
1 paper · 1 filter
Lukas Kroc, Ashish Sabharwal, Bart Selman
Survey propagation (SP) is an exciting new technique that has been remarkably successful at solving very large hard combinatorial problems, such as determining the satisfiability o…