Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithmsS. Cocco and R. MonassonEur. Phys. J. B, 22 4 (2001) 505-531DOI: https://doi.org/10.1007/s100510170101