Research Article
A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems
Figure 2
Noise probability versus number of unsatisfied clauses: (a) i2c-master1.dimacs.filtered.cnf: variables = 82429, clauses = 285987, (b) mem-ctrl-debug.dimacs.cnf: variables = 381721, clauses = 505547.