Michael Krivelevich Benny Sudakov Dan Vilenchik On the random satisfiable process http://arxiv.org/abs/0807.4326 2008 CoRR abs/0807.4326 db/journals/corr/corr0807.html#abs-0807-4326 informal publication