Phase Transition in Realistic Random SAT Models
暂无分享,去创建一个
[1] Maria Luisa Bonet,et al. The Fractal Dimension of SAT Formulas , 2013, IJCAR.
[2] Maria Luisa Bonet,et al. Towards Industrial-Like Random SAT Instances , 2009, IJCAI.
[3] P. Erdos,et al. On the evolution of random graphs , 1984 .
[4] Robert E. Tarjan,et al. A Linear-Time Algorithm for Testing the Truth of Certain Quantified Boolean Formulas , 1979, Inf. Process. Lett..
[5] Alan M. Frieze,et al. Random graphs , 2006, SODA '06.
[6] Carlos Ansótegui,et al. The Community Structure of SAT Formulas , 2012, SAT.
[7] M. Mézard,et al. Analytic and Algorithmic Solution of Random Satisfiability Problems , 2002, Science.
[8] Cohen,et al. Resilience of the internet to random breakdowns , 2000, Physical review letters.
[9] Riccardo Zecchina,et al. Survey propagation: An algorithm for satisfiability , 2002, Random Struct. Algorithms.
[10] Danna Zhou,et al. d. , 1934, Microbial pathogenesis.
[11] Reuven Cohen,et al. Fractal dimensions of percolating networks , 2004 .
[12] Albert,et al. Emergence of scaling in random networks , 1999, Science.
[13] Andrew M. Sutton,et al. Phase Transitions for Scale-Free SAT Formulas , 2017, AAAI.
[14] Maria Luisa Bonet,et al. Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (2008) , 2022 .
[15] M. L. Bonet,et al. Scale-Free Random SAT Instances , 2017 .
[16] Maria Luisa Bonet,et al. On the Structure of Industrial SAT Instances , 2009, CP.
[17] Bruce A. Reed,et al. Mick gets some (the odds are on his side) (satisfiability) , 1992, Proceedings., 33rd Annual Symposium on Foundations of Computer Science.
[18] Jesús Giráldez-Cru,et al. Locality in Random SAT Instances , 2017, IJCAI.
[19] Bruce A. Reed,et al. A Critical Point for Random Graphs with a Given Degree Sequence , 1995, Random Struct. Algorithms.
[20] Wei Li,et al. The SAT phase transition , 1999, ArXiv.
[21] M. Mézard,et al. Random K-satisfiability problem: from an analytic solution to an efficient algorithm. , 2002, Physical review. E, Statistical, nonlinear, and soft matter physics.
[22] Oliver Kullmann,et al. Unified Characterisations of Resolution Hardness Measures , 2014, SAT.