A cellular genetic algorithm for satisfiability problems

被引：0
|
作者：
Pizzuti, C
Spezzano, G
Ursino, D
机构：
来源：
ADVANCES IN INTELLIGENT SYSTEMS | 1997年 / 41卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This paper presents a new evolutionary method for the satisfiability problem based on a cellular genetic algorithm. In this method a global search on a random initial population of individuals is performed by local selective generation of new strings according to new defined genetic operators, The algorithm adopts a diffusion model of information among chromosomes by realizing a one-dimensional cellular automata in which the neighborhood relation is based on a fixed variable radius. Furthermore, the cellular algorithm is suitable for a direct parallel implementation.
引用
收藏
页码：408 / 413
页数：6
相关论文
共 50 条
  • [21] A two-phase algorithm for solving a class of hard satisfiability problems
    Warners, JP
    van Maaren, H
    [J]. OPERATIONS RESEARCH LETTERS, 1998, 23 (3-5) : 81 - 88
  • [22] OEA_SAT: An Organizational Evolutionary Algorithm for Solving Satisfiability Problems
    Liu, Jing
    Jiang, Wenrong
    Zhong, Weicai
    Jiao, Licheng
    [J]. 2009 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1-5, 2009, : 765 - +
  • [23] Hierarchical cellular genetic algorithm
    Janson, Stefan
    Alba, Enrique
    Dorronsoro, Bernabe
    Middendorf, Martin
    [J]. EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, PROCEEDINGS, 2006, 3906 : 111 - 122
  • [24] 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
  • [25] Study of computational performance of Genetic Algorithm for 3-satisfiability problem
    Ma, QingLian
    Zhang, Yu-an
    Sakamoto, Makoto
    Furutani, Hiroshi
    [J]. PROCEEDINGS OF THE SIXTEENTH INTERNATIONAL SYMPOSIUM ON ARTIFICIAL LIFE AND ROBOTICS (AROB 16TH '11), 2011, : 354 - 358
  • [26] ON THE GREEDY ALGORITHM FOR SATISFIABILITY
    KOUTSOUPIAS, E
    PAPADIMITRIOU, CH
    [J]. INFORMATION PROCESSING LETTERS, 1992, 43 (01) : 53 - 55
  • [27] A Hybrid Artificial Bee Colony Algorithm for Satisfiability Problems Based on Tabu Search
    Guo, Ying
    Zhang, Changsheng
    [J]. PROCEEDINGS OF 2017 3RD IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATIONS (ICCC), 2017, : 2226 - 2230
  • [28] A Genetic Algorithm for Coverage Problems
    Johnson, Colin
    [J]. GECCO 2007: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOL 1 AND 2, 2007, : 1521 - 1521
  • [29] Research on Neighborhood Search Strategy of Artificial Bee Colony Algorithm for Satisfiability Problems
    Guo, Ying
    Zhang, Changsheng
    [J]. 2017 10TH INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN (ISCID), VOL. 1, 2017, : 123 - 126
  • [30] pEvoSAT: A Novel Permutation Based Genetic Algorithm for Solving the Boolean Satisfiability Problem
    Shabash, Boris
    Wiese, Kay C.
    [J]. GECCO'13: PROCEEDINGS OF THE 2013 GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, 2013, : 861 - 868
12345