arXiv:1006.0744 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords local lemma, distinct literals, extremal function, complexity hardness jump, construct unsatisfiable k-cnf formulas Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset