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