A Variable Neighborhood Walksat-Based Algorithm for MAX-SAT Problems

Figure 1

Example illustrating the different phases of the algorithm.