Research Article
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
Figure 3
Log-Log Plot: (a) rsdecoder2.dimacs.filtered.cnf: variables = 415480, clauses = 1632526, (b) rsdecoder-fsm1.dimacs.filtered.cnf: variables = 238290, clauses = 936006. Time development for 100 runs in 15 minutes.
