Research Article
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
Figure 4
Log-Log Plot: (a) rsdecoder1-blackbox-CSEEblock-problem.dimacs-32.filtered: variables = 277950, clauses = 806460, (b) rsdecoder-multivec1.dimacs.filtered: variables = 394446, clauses = 1626312. Time development for 100 runs in 15 minutes.