Random satisfiability

被引：42
|
作者：
Achlioptas, Dimitris
机构：
来源：
Frontiers in Artificial Intelligence and Applications | 2009年 / 185卷 / 01期
关键词：
Compendex;
D O I：
10.3233/978-1-58603-929-5-245
中图分类号：
学科分类号：
摘要：
Probability
引用
收藏
页码：245 / 270
相关论文
共 50 条
  • [1] On the maximum satisfiability of random formulas
    Achlioptas, Dimitris
    Naor, Assaf
    Peres, Yuval
    JOURNAL OF THE ACM, 2007, 54 (02)
  • [2] Solution clustering in random satisfiability
    D. Achlioptas
    The European Physical Journal B, 2008, 64 : 395 - 402
  • [3] Solution clustering in random satisfiability
    Achlioptas, D.
    EUROPEAN PHYSICAL JOURNAL B, 2008, 64 (3-4): : 395 - 402
  • [4] Super Solutions of Random Instances of Satisfiability
    Zhang, Peng
    Gao, Yong
    FRONTIERS IN ALGORITHMICS (FAW 2015), 2015, 9130 : 314 - 325
  • [5] An exactly solvable random satisfiability problem
    Caracciolo, S
    Sportiello, A
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2002, 35 (36): : 7661 - 7688
  • [6] The Satisfiability Threshold For Random Linear Equations
    Peter Ayre
    Amin Coja-Oghlan
    Pu Gao
    Noëla Müller
    Combinatorica, 2020, 40 : 179 - 235
  • [7] On the Probabilistic approach to the random satisfiability problem
    Parisi, G
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING, 2004, 2919 : 203 - 213
  • [8] Spanning trees in random satisfiability problems
    Ramezanpour, A.
    Moghimi-Araghi, S.
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2006, 39 (18): : 4901 - 4909
  • [9] The Satisfiability Threshold For Random Linear Equations
    Ayre, Peter
    Coja-Oghlan, Amin
    Gao, Pu
    Mueller, Noela
    COMBINATORICA, 2020, 40 (02) : 179 - 235
  • [10] Message passing in random satisfiability problems
    Mézard, M
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 16, 2004, 16 : 1061 - 1068
12345