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

author:

Zhu, Wenxing (Zhu, Wenxing.) [1] (Scholars:朱文兴) | Yan, Yuanhui (Yan, Yuanhui.) [2]

Indexed by:

EI Scopus SCIE

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:

Dynamic convexized method Local minimizer MAX-SAT Weighted maximum satisfiability

Community:

  • [ 1 ] [Zhu, Wenxing]Fuzhou Univ, Ctr Discrete Math & Theoret Comp Sci, Fuzhou 350108, Peoples R China
  • [ 2 ] [Yan, Yuanhui]Fuzhou Univ, Ctr Discrete Math & Theoret Comp Sci, Fuzhou 350108, Peoples R China

Reprint 's Address:

  • 朱文兴

    [Zhu, Wenxing]Fuzhou Univ, Ctr Discrete Math & Theoret Comp Sci, Fuzhou 350108, Peoples R China

Show more details

Related Keywords:

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: 0

Online/Total:107/10044184
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