Exhaustive enumeration unveils clustering and freezing in random 3-SAT

John Ardelius, Lenka Zdeborová

We study geometrical properties of the complete set of solutions of the random 3-satisfiability problem. We show that even for moderate system sizes the number of clusters correspo…