The SAT problem

被引：0
|
作者：
Schöning U. [1 ]
机构：
[1] Institut für Theoretische Informatik, Universität Ulm, 89069 Ulm, James-Franck-Ring
来源：
Informatik-Spektrum | 2010年 / 33卷 / 05期
关键词：
D O I：
10.1007/s00287-010-0459-x
中图分类号：
学科分类号：
摘要：
[No abstract available]
引用
收藏
页码：479 / 483
页数：4
相关论文
共 50 条
  • [41] Quasiphysical and quasisociological algorithm Solar for solving SAT problem
    黄文奇
    金人超
    Science in China(Series E:Technological Sciences), 1999, (05) : 485 - 493
  • [42] A SAT-based Resolution of Lam's Problem
    Bright, Curtis
    Cheung, Kevin K. H.
    Stevens, Brett
    Kotsireas, Ilias
    Ganesh, Vijay
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 3669 - 3676
  • [43] A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
    Guanfeng Wu
    Qingshan Chen
    Yang Xu
    Xingxing He
    International Journal of Computational Intelligence Systems, 2018, 12 : 250 - 258
  • [44] Constraint modeling and SAT encoding of the packing array problem
    Noritake, H., 1600, Japan Society for Software Science and Technology (31):
  • [45] Development of an in vivo computer for 3-SAT Problem
    Li, Xiangrong
    Wang, Shudong
    Qiang, Xiaoli
    2009 FOURTH INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, PROCEEDINGS, 2009, : 328 - +
  • [46] AN EXACT TENSOR NETWORK FOR THE 3SAT PROBLEM
    Garcia-Saez, Artur
    Latorre, Jose I.
    QUANTUM INFORMATION & COMPUTATION, 2012, 12 (3-4) : 283 - 292
  • [47] A corresponding graph associated with the 3-SAT problem
    Cheng, G
    Proceedings of the Second International Conference on Information and Management Sciences, 2002, 2 : 222 - 225
  • [48] A Hybrid Learnt Clause Evaluation Algorithm for SAT Problem
    Wu, Guanfeng
    Chen, Qingshan
    Xu, Yang
    He, Xingxing
    INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2019, 12 (01) : 250 - 258
  • [49] Quasiphysical and quasisociological algorithm Solar for solving SAT problem
    Wenqi Huang
    Renchao Jin
    Science in China Series E: Technological Sciences, 1999, 42 : 485 - 493
  • [50] MAX-SAT Problem using Evolutionary Algorithms
    Ali, H. M.
    Mitchell, David
    Lee, Daniel C.
    2014 IEEE SYMPOSIUM ON SWARM INTELLIGENCE (SIS), 2014, : 105 - 112
12345