Random Walk Algorithms For Sat And Constraint Satisfaction Problems