A Study of Pure Random Walk on Random Satisfiability Problems with "Physical" Methods.

Guilhem Semerjian Rémi Monasson

Published in: SAT (2003)

Keyphrases

random walk
satisfiability problem
qualitative and quantitative
pairwise
markov chain
spectral methods
image segmentation
search algorithm
special case
markov random field
transition probability matrix