The Random K-SAT Problem: Solution Space Transitions and Random Walk Heuristics