arXiv:1212.3822 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords satisfiability threshold, alternative proof, sharp threshold, implies almost-sure unsatisfiability, phase transition window Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset