Citation Impact
Citing Papers
The backtracking survey propagation algorithm for solving random K-SAT problems
2016 StandoutNobel
The Nature of Computation
2011
Works of Solomon Marcus being referenced
The first example of a recursive function which is not primitive recursive
1979