@incollection{book/Franco09,
   AUTHOR = {Franco, J.},
    TITLE = {Probabilistic Analysis of Satisfiability Algorithms},
BOOKTITLE = {Boolean Methods and Models},
   SERIES = {},
   EDITOR = {Yves Crama and Peter Hammer},
   VOLUME = {},
     YEAR = {2009},
    PAGES = {},
PUBLISHER = {Cambridge University Press, United Kingdom}
}