• Complex
  • Title
  • Keyword
  • Abstract
  • Scholars
  • Journal
  • ISSN
  • Conference
成果搜索

author:

Zhu, W. (Zhu, W..) [1] | Yan, Y. (Yan, Y..) [2]

Indexed by:

Scopus

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. © 2012 Springer-Verlag Berlin Heidelberg.

Keyword:

Dynamic convexized method; Local minimizer; MAX-SAT; Weighted maximum satisfiability

Community:

  • [ 1 ] [Zhu, W.]Center for Discrete Mathematics and Theoretical Computer Science, Fuzhou University, Fuzhou, 350108, China
  • [ 2 ] [Yan, Y.]Center for Discrete Mathematics and Theoretical Computer Science, Fuzhou University, Fuzhou, 350108, China

Reprint 's Address:

  • [Zhu, W.]Center for Discrete Mathematics and Theoretical Computer Science, Fuzhou University, Fuzhou, 350108, China

Show more details

Related Keywords:

Related Article:

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 HC Threshold:86

JCR Journal Grade:2

CAS Journal Grade:2

Cited Count:

WoS CC Cited Count:

SCOPUS Cited Count:

ESI Highly Cited Papers on the List: 0 Unfold All

WanFang Cited Count:

Chinese Cited Count:

30 Days PV: 0

Affiliated Colleges:

Online/Total:832/10058811
Address:FZU Library(No.2 Xuyuan Road, Fuzhou, Fujian, PRC Post Code:350116) Contact Us:0591-22865326
Copyright:FZU Library Technical Support:Beijing Aegean Software Co., Ltd. 闽ICP备05005463号-1