Random 3-SAT: The Plot Thickens. - Coarfa, Cristian; Demopoulos, Demetrios D.; Aguirre, Alfonso San Miguel; Subramanian, Devika; Vardi, Moshe Y. (2000)