The Scientific World Journal / 2014 / Article / Fig 4

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.

We are committed to sharing findings related to COVID-19 as quickly as possible. We will be providing unlimited waivers of publication charges for accepted research articles as well as case reports and case series related to COVID-19. Review articles are excluded from this waiver policy. Sign up here as a reviewer to help fast-track new submissions.