@techreport{weko_32695_1,
   author	 = "Paul,Purdom",
   title	 = "Random Satisfiability Problems",
   year 	 = "1989",
   institution	 = "Department of Computer Science Indiana University",
   number	 = "98(1989-AL-012)",
   month	 = "nov"
}