@article{058c262572064a879a4fce181307a26a,
title = "Correlations between Horn fractions, satisfiability and solver performance for fixed density random 3-CNF instances",
keywords = "academic journal papers, ZX CWTS JFIS < 1.00",
author = "{van Maaren}, H and {van Norden}, L",
year = "2005",
doi = "doi:10.1007/s10472-005-2369-1",
language = "Undefined/Unknown",
volume = "44",
pages = "157--177",
journal = "Annals of Mathematics and Artificial Intelligence",
issn = "1012-2443",
publisher = "Springer",
number = "1-2",
}