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 条
  • [41] Solving hard random satisfiability by an efficient local search
    Fu, Huimin
    Xu, Yang
    Song, Zhenming
    Liu, Jun
    DEVELOPMENTS OF ARTIFICIAL INTELLIGENCE TECHNOLOGIES IN COMPUTATION AND ROBOTICS, 2020, 12 : 60 - 67
  • [42] Satisfiability Threshold for Random Regular NAE-SAT
    Ding, Jian
    Sly, Allan
    Sun, Nike
    COMMUNICATIONS IN MATHEMATICAL PHYSICS, 2016, 341 (02) : 435 - 489
  • [43] Satisfiability threshold for random XOR-CNF formulas
    Creignou, N
    Daude, H
    DISCRETE APPLIED MATHEMATICS, 1999, 97 : 41 - 53
  • [44] Algebraic characteristics and satisfiability threshold of random Boolean equations
    Guo, Binghui
    Wei, Wei
    Sun, Yifan
    Zheng, Zhiming
    PHYSICAL REVIEW E, 2010, 81 (03):
  • [45] Focused local search for random 3-satisfiability
    Seitz, S
    Alava, M
    Orponen, P
    JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2005, : 89 - 115
  • [46] Sharpness of the Satisfiability Threshold for Non-uniform Random κ-SAT
    Friedrich, Tobias
    Rothenberger, Ralf
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, 2018, 10929 : 273 - 291
  • [47] Typical random 3-SAT formulae and the satisfiability threshold
    Dubois, O
    Boufkhad, Y
    Mandler, J
    PROCEEDINGS OF THE ELEVENTH ANNUAL ACM-SIAM SYMPOSIUM ON DISCRETE ALGORITHMS, 2000, : 126 - 127
  • [48] Hiding solutions in random satisfiability problems: A statistical mechanics approach
    Barthel, W
    Hartmann, AK
    Leone, M
    Ricci-Tersenghi, F
    Weigt, M
    Zecchina, R
    PHYSICAL REVIEW LETTERS, 2002, 88 (18) : 1887011 - 1887014
  • [49] Approximating the satisfiability threshold for random k-XOR-formulas
    Creignou, N
    Daudé, H
    Dubois, O
    COMBINATORICS PROBABILITY & COMPUTING, 2003, 12 (02): : 113 - 126
  • [50] THE SATISFIABILITY THRESHOLD FOR A SEEMINGLY INTRACTABLE RANDOM CONSTRAINT SATISFACTION PROBLEM
    Connamacher, Harold
    Molloy, Michael
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2012, 26 (02) : 768 - 800
12345