Indexed by:
Abstract:
Satisfiability (SAT) and maximum satisfiability (MAX-SAT) are difficult combinatorial problems that have many important real-world applications. In this paper we investigate the performance of the dynamic convexized method based heuristics on the weighted MAX-SAT problem. We first present an auxiliary function which is constructed based on a penalty function, and minimize the function by a local search method which can escape successfully from previously converged local minimizers by increasing the value of a parameter. Two algorithms of the approach are implemented and compared with the Greedy Randomized Adaptive Search Procedure (GRASP) and the GRASP with Path Relinking (GRASP + PR). Experimental results illustrate efficient and faster convergence of our two algorithms.
Keyword:
Reprint 's Address:
Email:
Version:
Source :
OPTIMIZATION LETTERS
ISSN: 1862-4472
Year: 2014
Issue: 1
Volume: 8
Page: 359-374
0 . 9 3 4
JCR@2014
1 . 3 0 0
JCR@2023
ESI Discipline: MATHEMATICS;
ESI HC Threshold:86
JCR Journal Grade:2
CAS Journal Grade:2
Cited Count:
WoS CC Cited Count: 0
SCOPUS Cited Count:
ESI Highly Cited Papers on the List: 0 Unfold All
WanFang Cited Count:
Chinese Cited Count:
30 Days PV: 1
Affiliated Colleges: