A NEURAL NETWORK APPROACH TO THE 3-SATISFIABILITY PROBLEM

被引:14
|
作者
JOHNSON, JL [1 ]
机构
[1] UNIV MINNESOTA,MINNEAPOLIS,MN 55455
关键词
D O I
10.1016/0743-7315(89)90068-3
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
引用
收藏
页码:435 / 449
页数:15
相关论文
共 50 条
  • [1] AN EFFICIENT ALGORITHM FOR THE 3-SATISFIABILITY PROBLEM
    BILLIONNET, A
    SUTTER, A
    [J]. OPERATIONS RESEARCH LETTERS, 1992, 12 (01) : 29 - 36
  • [2] Solving the 3-Satisfiability Problem Using Network-Based Biocomputation
    Zhu, Jingyuan
    Salhotra, Aseem
    Meinecke, Christoph Robert
    Surendiran, Pradheebha
    Lyttleton, Roman
    Reuter, Danny
    Kugler, Hillel
    Diez, Stefan
    Mansson, Alf
    Linke, Heiner
    Korten, Till
    [J]. ADVANCED INTELLIGENT SYSTEMS, 2022, 4 (12)
  • [3] PROBABILISTIC ANALYSIS OF 2 HEURISTICS FOR THE 3-SATISFIABILITY PROBLEM
    CHAO, MT
    FRANCO, J
    [J]. SIAM JOURNAL ON COMPUTING, 1986, 15 (04) : 1106 - 1118
  • [4] Hybridised Intelligent Dynamic Model of 3-Satisfiability Fuzzy Logic Hopfield Neural Network
    Liyana, Farah
    Sathasivam, Saratha
    Ali, Majid Khan Majahar
    [J]. PERTANIKA JOURNAL OF SCIENCE AND TECHNOLOGY, 2023, 31 (04): : 1695 - 1716
  • [5] 3-Satisfiability Reverse Analysis Method with Hopfield Neural Network for Medical Data Set
    Abdullahi, Samaila
    Mansor, Mohd Asyraf
    Sathasivam, Saratha
    Kasihmuddin, Mohd Shareduwan Mohd
    Zamri, Nur Ezlin Binti
    [J]. PROCEEDINGS OF THE 27TH NATIONAL SYMPOSIUM ON MATHEMATICAL SCIENCES (SKSM27), 2020, 2266
  • [6] 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
  • [7] Hybridised Network of Fuzzy Logic and a Genetic Algorithm in Solving 3-Satisfiability Hopfield Neural Networks
    Azizan, Farah Liyana
    Sathasivam, Saratha
    Ali, Majid Khan Majahar
    Roslan, Nurshazneem
    Feng, Caicai
    [J]. AXIOMS, 2023, 12 (03)
  • [8] On the Communication Complexity of the Vertex Cover Problem and 3-Satisfiability Problem in ECP Systems
    Hernandez, Nestine Hope S.
    Juayong, Richelle Ann B.
    Francia, Sherlyne L.
    Francisco, Denise Alyssa A.
    Adorna, Henry N.
    [J]. MEMBRANE COMPUTING (CMC 2015), 2015, 9504 : 200 - 214
  • [9] Hybrid method for the approximate solution of the 3-satisfiability problem associated with the factorization problem
    Faizullin, R. T.
    Dul'keit, V. I.
    Ogorodnikov, Yu. Yu.
    [J]. TRUDY INSTITUTA MATEMATIKI I MEKHANIKI URO RAN, 2013, 19 (02): : 285 - 294
  • [10] T→0 mean-field population dynamics approach for the random 3-satisfiability problem
    Zhou, Haijun
    [J]. PHYSICAL REVIEW E, 2008, 77 (06):