Picture for Rémi Lemoy

Rémi Lemoy

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

Add code
Dec 12, 2013
Figure 1 for A novel local search based on variable-focusing for random K-SAT
Figure 2 for A novel local search based on variable-focusing for random K-SAT
Figure 3 for A novel local search based on variable-focusing for random K-SAT
Viaarxiv icon