John Franco, Yves Crama, Peter L. Hammer. Probabilistic Analysis of Satisfiability Algorithms. In Yves Crama, Peter L. Hammer, editors, Boolean Models and Methods in Mathematics, Computer Science, and Engineering. pages 99-159, Cambridge University Press, 2010. [doi]
@incollection{FrancoCH10,
title = {Probabilistic Analysis of Satisfiability Algorithms},
author = {John Franco and Yves Crama and Peter L. Hammer},
year = {2010},
doi = {10.1017/cbo9780511780448.007},
url = {https://doi.org/10.1017/cbo9780511780448.007},
researchr = {https://researchr.org/publication/FrancoCH10},
cites = {0},
citedby = {0},
pages = {99-159},
booktitle = {Boolean Models and Methods in Mathematics, Computer Science, and Engineering},
editor = {Yves Crama and Peter L. Hammer},
publisher = {Cambridge University Press},
isbn = {9780511780448},
}