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]
No references recorded for this publication.
No citations of this publication recorded.