Hans van Maaren, Linda van Norden. Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. Annals of Mathematics and Artificial Intelligence, 44(1-2):157-177, 2005. [doi]
Abstract is missing.