@INPROCEEDINGS{RandomSAT,
  AUTHOR =       {Eugene Nudelman and Kevin Leyton-Brown and Alex Devkar and Yoav Shoham and Holger Hoos},
  TITLE =        {Understanding Random {SAT}: Beyond the Clauses-to-Variables Ratio},
  BOOKTITLE =    {International Conference on Principles and Practice of Constraint Programming (CP)},
  PAGES =        {438--452},
  YEAR =         {2004}
}