Albert Atserias On sufficient conditions for unsatisfiability of random formulas. 281-311 2004 51 J. ACM 2 http://doi.acm.org/10.1145/972639.972645 db/journals/jacm/jacm51.html#Atserias04