Experimental evidence is presented that hidden threshold phenomena exist for fixed density random 3-SAT and graph-3-coloring formulae. At such fixed densities the average Horn fraction (computed with a specially designed algorithm) appears to be a parameter with respect to which these phenomena can be measured. This paper investigates the effects of size on the observed phenomena. © Springer-Verlag 2004.
CITATION STYLE
Van Maaren, H., & Van Norden, L. (2004). Hidden threshold phenomena for fixed-density SAT-formulae. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2919, 135–149. https://doi.org/10.1007/978-3-540-24605-3_11
Mendeley helps you to discover research relevant for your work.