TY  - RPRT
TI  - A generating function method for the average-case analysis of DPLL
AU  - Remi Monasson
PY  - 2005
UR  - https://arxiv.org/abs/cs/0506069
ID  - cs/0506069
ER  -