@article{10_1090_S0894_0347_04_00464_3, author = {Achlioptas, Dimitris and Peres, Yuval}, title = {The threshold for random {{\dh}‘˜-SAT} is 2^{{\dh}‘˜}log2-{\dh}‘‚({\dh}‘˜)}, journal = {Journal of the American Mathematical Society}, pages = {947--973}, publisher = {mathdoc}, volume = {17}, number = {4}, year = {2004}, doi = {10.1090/S0894-0347-04-00464-3}, url = {http://geodesic.mathdoc.fr/articles/10.1090/S0894-0347-04-00464-3/} }