Deroulers, C.; Monasson, R. - In: The European Physical Journal B - Condensed Matter and … 49 (2006) 3, pp. 339-369
The probability P<Subscript>success</Subscript>(α, N) that stochastic greedy algorithms successfully solve the random SATisfiability problem is studied as a function of the ratio α of constraints per variable and the number N of variables. These algorithms assign variables according to the unit-propagation (UP)...</subscript>