The WalkSAT algorithm