Solving weighted MAX-SAT via global equilibrium search

Solving weighted MAX-SAT via global equilibrium search

0.00 Avg rating0 Votes
Article ID: iaor20102846
Volume: 36
Issue: 4
Start Page Number: 434
End Page Number: 438
Publication Date: Jul 2008
Journal: Operations Research Letters
Authors: , ,
Keywords: heuristics
Abstract:

In this note we investigate the performance of global equilibrium search based heuristics on the weighted MAX-SAT problem. Three variants of the approach are implemented and compared with other existing algorithms on publicly available benchmark instances. The reported computational results indicate high efficiency of the method considered.

Reviews

Required fields are marked *. Your email address will not be published.