Joel Friedman, Andreas Goerdt: Recognizing More Unsatisfiable Random 3-SAT Instances Efficiently. ICALP 2001: 310-321