Rémi Monasson. A Generating Function Method for the Average-Case Analysis of DPLL. In Chandra Chekuri, Klaus Jansen, José D. P. Rolim, Luca Trevisan, editors, Approximation, Randomization and Combinatorial Optimization, Algorithms and Techniques, 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th InternationalWorkshop on Randomization and Computat. Volume 3624 of Lecture Notes in Computer Science, pages 402-413, Springer, 2005. [doi]
Abstract is missing.