Picture for Mikko Alava

Mikko Alava

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

Circumspect descent prevails in solving random constraint satisfaction problems

Add code
Nov 30, 2007
Figure 1 for Circumspect descent prevails in solving random constraint satisfaction problems
Figure 2 for Circumspect descent prevails in solving random constraint satisfaction problems
Figure 3 for Circumspect descent prevails in solving random constraint satisfaction problems
Figure 4 for Circumspect descent prevails in solving random constraint satisfaction problems
Viaarxiv icon