@INPROCEEDINGS{SAT, AUTHOR = {E. Nudelman and K. Leyton-Brown and A. Devkar and H. Hoos and Y. Shoham}, TITLE = {Understanding Random SAT: Beyond the Clauses-to-Variables Ratio}, booktitle = { Proceedings of CP-2004}, }