Random 2-SAT and unsatisfiability

被引：0
|
作者：
Verhoeven, Yann [1 ]
机构：
[1] LRI, Bat 490, Université Paris Sud, 91405, Orsay, France
来源：
Information Processing Letters | 1999年 / 72卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
9
引用
收藏
页码：119 / 123
相关论文
共 50 条
  • [11] A note on random 2-SAT with prescribed literal degrees
    Cooper, C
    Frieze, A
    Sorkin, GB
    PROCEEDINGS OF THE THIRTEENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2002, : 316 - 320
  • [12] Bounding the unsatisfiability threshold of random 3-SAT
    Janson, S
    Stamatiou, YC
    Vamvakari, M
    RANDOM STRUCTURES & ALGORITHMS, 2000, 17 (02) : 103 - 116
  • [13] On 2-SAT and renamable horn
    del Val, A
    SEVENTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-2001) / TWELFTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-2000), 2000, : 279 - 284
  • [14] The number of 2-sat functions
    Béla Bollobás
    Graham R. Brightwell
    Imre Leader
    Israel Journal of Mathematics, 2003, 133 : 45 - 60
  • [15] On the Number of 2-SAT Functions
    Ilinca, L.
    Kahn, J.
    COMBINATORICS PROBABILITY & COMPUTING, 2009, 18 (05): : 749 - 764
  • [16] Satisfiability Threshold for Power Law Random 2-SAT in Configuration Model
    Omelchenko, Oleksii
    Bulatov, Andrei A.
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2019, 2019, 11628 : 53 - 70
  • [17] Satisfiability threshold for power law random 2-SAT in configuration model
    Omelchenko, Oleksii
    Bulatov, Andrei A.
    THEORETICAL COMPUTER SCIENCE, 2021, 888 : 70 - 94
  • [18] The number of 2-SAT functions
    Bollobás, B
    Brightwell, G
    Leader, I
    ISRAEL JOURNAL OF MATHEMATICS, 2003, 133 (1) : 45 - 60
  • [19] Approximating MIN 2-SAT and MIN 3-SAT
    Adi Avidor
    Uri Zwick
    Theory of Computing Systems, 2005, 38 : 329 - 345
  • [20] The scaling window of the 2-SAT transition
    Bollobás, B
    Borgs, C
    Chayes, JT
    Kim, JH
    Wilson, DB
    RANDOM STRUCTURES & ALGORITHMS, 2001, 18 (03) : 201 - 256
12345