Inproceedings,

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

, and .
SAT, volume 2919 of Lecture Notes in Computer Science, page 120-134. Springer, (2003)

Meta data

Tags

Users

  • @dblp

Comments and Reviews