arXiv:math/0411167 [math.CO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords unsatisfiable k-cnf formulas, occurrences, upper bounds, variable occurs, np-complete Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset