A novel local search based on variable-focusing for random K-SAT

Open in new window