David G. Mitchell Hector J. Levesque Some Pitfalls for Experimenters with Random SAT. 111-125 1996 81 Artif. Intell. 1-2 db/journals/ai/ai81.html#MitchellL96 http://dx.doi.org/10.1016/0004-3702(95)00049-6