%0 Journal Article %A Puyhaubert, Vincent %T Generating functions and the satisfiability threshold %J Discrete mathematics & theoretical computer science %D 2003-2004 %V 6 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.325/ %R 10.46298/dmtcs.325 %G en %F DMTCS_2004_6_2_a14