Generating functions and the satisfiability threshold. Puyhaubert, Vincent — 2004 Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic only]