Constraint satisfaction: random regular k-SAT

被引：0
|
作者：
Coja-Oghlan, Amin [1 ]
机构：
[1] Goethe Univ Frankfurt, Math Inst, 10 Robert Mayer Str, D-60325 Frankfurt, Germany
来源：
STATISTICAL PHYSICS, OPTIMIZATION, INFERENCE, AND MESSAGE-PASSING ALGORITHMS | 2016年
关键词：
PHASE-TRANSITIONS;
D O I：
暂无
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
引用
收藏
页码：231 / 251
页数：21
相关论文
共 50 条
  • [1] Bounds on Threshold of Regular Random k-SAT
    Rathi, Vishwambhar
    Aurell, Erik
    Rasmussen, Lars
    Skoglund, Mikael
    THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, 2010, 6175 : 264 - 277
  • [2] Regular Random k-SAT: Properties of Balanced Formulas
    Yacine Boufkhad
    Olivier Dubois
    Yannet Interian
    Bart Selman
    Journal of Automated Reasoning, 2005, 35 : 181 - 200
  • [3] Regular random k-SAT:: Properties of balanced formulas
    Boufkhad, Yacine
    Dubois, Olivier
    Interian, Yannet
    Selman, Bart
    JOURNAL OF AUTOMATED REASONING, 2005, 35 (1-3) : 181 - 200
  • [4] The Number of Satisfying Assignments of Random Regular k-SAT Formulas
    Coja-Oghlan, Amin
    Wormald, Nick
    COMBINATORICS PROBABILITY & COMPUTING, 2018, 27 (04): : 496 - 530
  • [5] Polarised random k-SAT
    Danielsson, Joel Larsson
    Markstrom, Klas
    COMBINATORICS PROBABILITY AND COMPUTING, 2023, 32 (06) : 885 - 899
  • [6] Biased random k-SAT
    Larsson, Joel
    Markstrom, Klas
    RANDOM STRUCTURES & ALGORITHMS, 2021, 59 (02) : 238 - 266
  • [7] On an online random k-SAT model
    Kravitz, David
    RANDOM STRUCTURES & ALGORITHMS, 2008, 32 (01) : 115 - 124
  • [8] On the behaviour of random K-SAT on trees
    Krishnamurthy, Supriya
    Sumedha
    JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2012,
  • [9] The Decimation Process in Random k-SAT
    Coja-Oghlan, Amin
    Pachon-Pinzon, Angelica Y.
    Automata, Languages and Programming, ICALP, Pt I, 2011, 6755 : 305 - 316
  • [10] THE DECIMATION PROCESS IN RANDOM k-SAT
    Coja-Oghlan, Amin
    Pachon-Pinzon, Angelica Y.
    SIAM JOURNAL ON DISCRETE MATHEMATICS, 2012, 26 (04) : 1471 - 1509
12345