Simona Cocco, Rémi Monasson
Statistical physics analysis of the backtrack resolution of random 3-SAT instances
ICST, 2001.
@article{SAT-2001-CoccoM,
author = "Simona Cocco and Rémi Monasson",
doi = "10.1016/S1571-0653(04)00312-9",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "36--47",
title = "{Statistical physics analysis of the backtrack resolution of random 3-SAT instances}",
volume = 9,
year = 2001,
}