Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances
scientific article; zbMATH DE number 2170153