A variable neighborhood Walksat-based algorithm for MAX-SAT problems.

A variable neighborhood Walksat-based algorithm for MAX-SAT problems.