Hans van Maaren Linda van Norden Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances. 157-177 2005 44 Ann. Math. Artif. Intell. 1-2 http://dx.doi.org/10.1007/s10472-005-2369-1 db/journals/amai/amai44.html#MaarenN05