most citedExhaustive enumeration unveils clustering and freezing in random 3-SAT

38 citations · 38 across the 1 of their papers we have counts for

collaborators

1 paper

cond-mat.stat-mech2008★ 38 cited

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…