A NN algorithm for Boolean satisfiability problems

被引：0
|
作者：
Spears, WM [1 ]
机构：
[1] USN,RES LAB,AI CTR,WASHINGTON,DC 20375
来源：
ICNN - 1996 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS. 1-4 | 1996年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：1121 / 1126
页数：6
相关论文
共 50 条
  • [1] Solving Boolean Satisfiability Problems With The Quantum Approximate Optimization Algorithm
    Boulebnane, Sami
    Montanaro, Ashley
    [J]. PRX QUANTUM, 2024, 5 (03):
  • [2] A logical deduction based clause learning algorithm for boolean satisfiability problems
    [J]. Chen, Qingshan (qschen@home.swjtu.edu.cn), 1600, Taylor and Francis Ltd. (10):
  • [3] A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
    Chen, Qingshan
    Xu, Yang
    Liu, Jun
    He, Xingxing
    [J]. INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2017, 10 (01) : 824 - 834
  • [4] A Logical Deduction Based Clause Learning Algorithm for Boolean Satisfiability Problems
    Qingshan Chen
    Yang Xu
    Jun Liu
    Xingxing He
    [J]. International Journal of Computational Intelligence Systems, 2017, 10 : 824 - 834
  • [5] On Strategies for Solving Boolean Satisfiability Problems
    Pulka, Andrzej
    [J]. 2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
  • [6] A Satisfiability Algorithm for Synchronous Boolean Circuits
    Morizumi, Hiroki
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2021, E104D (03) : 392 - 393
  • [7] Scalable Parallel Solver of Boolean Satisfiability Problems
    Bogdanova, V. G.
    Gorsky, S. A.
    [J]. 2018 41ST INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2018, : 222 - 227
  • [8] Efficient solution of Boolean satisfiability problems with digital memcomputing
    Bearden, Sean R. B.
    Pei, Yan Ru
    Di Ventra, Massimiliano
    [J]. SCIENTIFIC REPORTS, 2020, 10 (01)
  • [9] Solving employee timetabling problems using Boolean satisfiability
    Aloul, Fadi
    Al-Rawi, Bashar
    Al-Farra, Anas
    Al-Roh, Basel
    [J]. 2006 INNOVATIONS IN INFORMATION TECHNOLOGY, 2006, : 71 - 75
  • [10] Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part i
    Fernandes, Diogo
    Dutra, Inês
    [J]. XRDS: Crossroads, 2019, 26 (01): : 64 - 66
12345