Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithms
and
Eur. Phys. J. B, 22 4 (2001) 505-531
Published online: 15 August 2001
DOI: 10.1007/s100510170101