Local search methods based on variable focusing for random K-satisfiability.

Local search methods based on variable focusing for random K-satisfiability.