References
- D. Achlioptas and F. Ricci-Tersenghi, On the solution space geometry of random constraint satisfaction problems, in Proceedings of the 36th ACM Symposium on Theory of Computing, Association for Computing Machinery, 2006, 130–139.
- D. Achlioptas, A. Chtcherba, G. Istrate, and C. Moore, The phase transition in 1-in-K SAT and NAE3SAT, in Proceedings of the 12th ACM-SIAM Symposium on Discrete Algorithms, Association for Computing Machinery and Society for Industrial and Applied Mathematics, 2001, 721–722.
- Alon , N. , Erdős , P. and Spencer , J. 1992 . “ The Probabilistic Method ” . In , 2 , New York : Wiley .
- Bollobás , B. 2001 . “ Random Graphs ” . In , 2 , Cambridge, , UK : Cambridge University Press .
- Hartmann , A. and Weigt , M. 2005 . “ Phase Transitions in Combinatorial Optimization Problems ” . Weinheim, , Germany : Wiley-VCH .
- Istrate , G. 2007 . Satisfiability of boolean random constraint satisfaction: Clusters and Overlaps . J. Universal Comput. Sci. , 13 ( 11 ) : 1655 – 1670 .
- Istrate , G. , Percus , A. and Boettcher , S. 2005 . Spines of random constraint satisfaction problems: Definition and connection with computational complexity . Ann. Math. Artif. Intell. , 44 ( 4 ) : 353 – 372 .
- Janson , S. , Luczak , T. and Ruczinski , A. 2000 . “ Random Graphs ” . New York : Wiley .
- Krzakala , F. , Montanari , A. , Ricci-Tersenghi , F. , Semerjian , G. and Zdeborová , L. 2007 . Gibbs states and the set of solutions of random constraint satisfaction problems . Proc. Nat. Acad. Sci. , 104 : 10318 – 10323 .
- Mézard , M. , Parisi , G. and Virasoro , M. 1987 . “ Spin Glass Theory and Beyond ” . Singapore : World Scientific .
- Mézard , M. , Mora , T. and Zecchina , R. 2005 . Clustering of solutions in the random satisfiability problem . Phys. Rev. Lett. , 94 : 197205
- M. Molloy, Models for random constraint satisfaction problems, in Proceedings of the 34th ACM Symposium on Theory of Computing, Association for Computing Machinery, 2002, 209–217.
- Monasson , R. and Zecchina , R. 1997 . Statistical mechanics of the random k-SAT model . Phys. Rev. E , 56 : 1357
- Percus , A. , Istrate , G. and Moore , C. 2006 . “ Computational Complexity and Statistical Physics ” . Edited by: Percus , A. , Istrate , G. and Moore , C. Oxford, , UK : Oxford University Press .
- Raymond , J. , Sportiello , A. and Zdeborová , L. 2007 . The phase diagram of random 1-in-3 satisfiability . Phys. Rev. E , 76 011101
- Schmidt-Pruznan , J. and Shamir , D. 1985 . Component structure in the evolution of random hypergraphs . Combinatorica , 5 : 81 – 94 .