arXiv:0801.2858 [cond-mat.stat-mech]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords random k-sat, theoretical analysis, properties, first result concerns dpll heuristics, variable ratio Tags dissertation Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset