The local search approximation algorithms for maximum not-all-equal k-satisfiability problems

被引：0
|
作者：
Xian, Ai-Yong [1 ]
Zhu, Da-Ming [1 ]
机构：
[1] School of Computer Science and Technology, Shandong University, Jinan,250101, China
来源：
Jisuanji Xuebao/Chinese Journal of Computers | 2015年 / 38卷 / 08期
关键词：
Compendex;
D O I：
10.11897/SP.J.1016.2015.01561
中图分类号：
学科分类号：
摘要：
Approximation algorithms
引用
收藏
页码：1561 / 1573
相关论文
共 50 条
  • [1] Linear time algorithms for some not-all-equal satisfiability problems
    Porschen, S
    Randerath, B
    Speckenmeyer, E
    [J]. THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 172 - 187
  • [2] Phase Transition for Maximum Not-All-Equal Satisfiability
    Zhou, Junping
    Hu, Shuli
    Zou, Tingting
    Yin, Minghao
    [J]. FRONTIERS IN ALGORITHMICS, FAW 2017, 2017, 10336 : 267 - 279
  • [3] New local search approximation techniques for maximum generalized satisfiability problems
    Dipto. di Informatica e Sistemistica, Univ. Studi di Roma la Sapienza, via Salaria 113, Roma 00198, Italy
    [J]. Inf. Process. Lett., 3 (151-158):
  • [4] New local search approximation techniques for maximum generalized satisfiability problems
    Alimonti, P
    [J]. INFORMATION PROCESSING LETTERS, 1996, 57 (03) : 151 - 158
  • [5] Better approximation algorithms for SET SPLITTING and NOT-ALL-EQUAL SAT
    Andersson, G
    Engebretsen, L
    [J]. INFORMATION PROCESSING LETTERS, 1998, 65 (06) : 305 - 311
  • [6] Local search methods based on variable focusing for random K-satisfiability
    Lemoy, Remi
    Alava, Mikko
    Aurell, Erik
    [J]. PHYSICAL REVIEW E, 2015, 91 (01):
  • [7] Exact satisfiability threshold for k-satisfiability problems on a Bethe lattice
    Krishnamurthy, Supriya
    Sumedha
    [J]. PHYSICAL REVIEW E, 2015, 92 (04):
  • [8] A Theoretical Analysis of the k-Satisfiability Search Space
    Sutton, Andrew M.
    Howe, Adele E.
    Whitley, L. Darrell
    [J]. ENGINEERING STOCHASTIC LOCAL SEARCH ALGORITHMS: DESIGNING, IMPLEMENTING AND ANALYZING EFFECTIVE HEURISTICS, 2009, 5752 : 46 - 60
  • [9] Genetic Algorithm for Restricted Maximum k-Satisfiability in the Hopfield Network
    Kasihmuddin, Mohd Shareduwan Bin Mohd
    Bin Mansor, Mohd Asyraf
    Sathasivam, Saratha
    [J]. INTERNATIONAL JOURNAL OF INTERACTIVE MULTIMEDIA AND ARTIFICIAL INTELLIGENCE, 2016, 4 (02): : 52 - 60
  • [10] PARAMETERIZED EXACT AND APPROXIMATION ALGORITHMS FOR MAXIMUM k-SET COVER AND RELATED SATISFIABILITY PROBLEMS
    Bonnet, Edouard
    Paschos, Vangelis Th.
    Sikora, Florian
    [J]. RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2016, 50 (03): : 227 - 240
12345