算法
组会分享(Refuting Random 3CNF)
Non-satisfiability of random 3CNF formulas
