Resolution and the integrality of satisfiability problems

被引：0
|
作者：
机构：
来源：
Math Program Ser A | / 1卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Solving Satisfiability Problems with Membrane Algorithms
    Zhang, Gexiang
    Liu, Chunxiu
    Gheorghe, Marian
    Ipate, Florentin
    2009 FOURTH INTERNATIONAL CONFERENCE ON BIO-INSPIRED COMPUTING: THEORIES AND APPLICATIONS, PROCEEDINGS, 2009, : 29 - +
  • [42] On some weighted satisfiability and graph problems
    Porschen, S. (porschen@informatik.uni-koeln.de), (Springer Verlag):
  • [43] A cellular genetic algorithm for satisfiability problems
    Pizzuti, C
    Spezzano, G
    Ursino, D
    ADVANCES IN INTELLIGENT SYSTEMS, 1997, 41 : 408 - 413
  • [44] Satisfiability Problems on Sums of Kripke Frames
    Shapirovsky, Ilya
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2022, 23 (03)
  • [45] On the parameterized complexity of exact satisfiability problems
    Kneis, J
    Mölle, D
    Richter, S
    Rossmanith, P
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2005, PROCEEDINGS, 2005, 3618 : 568 - 579
  • [46] Hierarchies of polynomially solvable satisfiability problems
    Pretolani, D
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1996, 17 (3-4) : 339 - 357
  • [47] On Strategies for Solving Boolean Satisfiability Problems
    Pulka, Andrzej
    2012 INTERNATIONAL CONFERENCE ON SIGNALS AND ELECTRONIC SYSTEMS (ICSES), 2012,
  • [48] Satisfiability problems on intervals and unit intervals
    Peer, I
    Shamir, R
    THEORETICAL COMPUTER SCIENCE, 1997, 175 (02) : 349 - 372
  • [49] Message passing in random satisfiability problems
    Mézard, M
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 16, 2004, 16 : 1061 - 1068
  • [50] A NN algorithm for Boolean satisfiability problems
    Spears, WM
    ICNN - 1996 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOLS. 1-4, 1996, : 1121 - 1126
12345