Search results for: 'WalkSAT is linear on random 2-SAT'