Threshold values of Random K-SAT from the cavity method

Stephan Mertens Marc Mézard Riccardo Zecchina

Published in: CoRR (2003)

Keyphrases

threshold values
synthetic data
pairwise
probabilistic model
feature set
satisfiability problem