Login / Signup
Exhaustive enumeration unveils clustering and freezing in random 3-SAT
John Ardelius
Lenka Zdeborová
Published in:
CoRR (2008)
Keyphrases
</>
clustering algorithm
phase transition
exhaustive search
random sat