Some Pitfalls for Experimenters with Random SAT

David G. Mitchell, Hector J. Levesque. Some Pitfalls for Experimenters with Random SAT. Artificial Intelligence, 81(1-2):111-125, 1996. [doi]

Abstract

Abstract is missing.