@inbook{bbf4d252d6ac45be9d31a01657e05827,
title = "Analysis of Backtracking Procedures for Random Decision Problems",
keywords = "Analysis of backtracking procedures phase diagram, Hard SAT phase, New optimization algorithms, Physics phase transitions in combinatorial optimization problems, Random graph coloring problem, Search trajectories easy SAT phase, Search tree growth in the UNSAT phase",
author = "Simona Cocco and Liat Ein-Dor and R{\'e}mi Monasson",
year = "2005",
month = jan,
day = "1",
doi = "10.1002/3527603794.ch8",
language = "English",
isbn = "3527404066",
pages = "139--181",
booktitle = "New Optimization Algorithms in Physics",
publisher = "wiley",
}