cs0007029/main.bbl
1: \begin{thebibliography}{10}
2: 
3: \bibitem{achlioptas-sat-instances}
4: D.~Achlioptas, C.~Gomes, H.~Kautz, and B.~Selman,
5: \newblock {\em Generating Satisfiable Problem Instances}.
6: \newblock In {\em Proceedings of AAAI 2000}, (to appear).
7: 
8: \bibitem{probabilistic-method}
9: N.~Alon, P.~Erd\H{o}s, and J.~Spencer.
10: \newblock {\em The probabilistic method}.
11: \newblock John Wiley and Sons, second edition, 1992.
12: 
13: 
14: \bibitem{barbour:holst:janson}
15: A.~Barbour, L.~Holst, and S.~Janson.
16: \newblock {\em Poisson Approximation}.
17: \newblock Clarendon Press Oxford, 1992.
18: 
19: \bibitem{baxter:rigorous}
20: J. Baxter.
21: \newblock {\em Exactly solvable models in Statistical Mechanics}.
22: \newblock J. Wiley and Sons, 1984.
23: 
24: \bibitem{bol:b:random-graphs}
25: B.~Bollob\'{a}s.
26: \newblock {\em Random Graphs}.
27: \newblock Academic Press, 1985.
28: 
29: \bibitem{scaling:window:2sat}
30: B.~Bollob\'{a}s, C.~Borgs, J.T. Chayes, J.~H. Kim, and D.~B. Wilson.
31: \newblock The scaling window of the 2-{SAT} transition.
32: \newblock Technical report, Los Alamos e-print server,
33:   http://xxx.lanl.gov/ps/math.CO/9909031, 1999.
34: 
35: \bibitem{bollob-thomasson}
36: B.~Bollob\'{a}s and A.~Thomason.
37: \newblock Threshold functions.
38: \newblock {\em Combinatorica}, 7(1):35--38, 1986.
39: 
40: \bibitem{cheeseman-kanefsky-taylor}
41: P.~Cheeseman, B.~Kanefsky, and W.~Taylor.
42: \newblock Where the really hard problems are.
43: \newblock In {\em Proceedings of the 11th IJCAI}, pages 331--337, 1991.
44: 
45: \bibitem{friedgut:k:sat}
46: E.~Friedgut.
47: \newblock Necessary and sufficient conditions for sharp thresholds of 
48: graph
49:   properties, and the k-{SAT} problem. with an appendix by {J}. 
50: {B}ourgain.
51: \newblock {\em Journal of the A.M.S.}, 12:1017--1054, 1999.
52: 
53: \bibitem{frieze-suen}
54: A.~Frieze and S.~Suen.
55: \newblock Analysis of two simple heuristics for random instances of 
56: {k-SAT}.
57: \newblock {\em Journal of Algorithms}, 20:312--355, 1996.
58: 
59: \bibitem{scaling:search:cost:2}
60: I.~Gent, E.~Mac{I}ntyre, P.~Prosser, and T.~Walsh.
61: \newblock The scaling of search cost.
62: \newblock In {\em Proceedings of AAAI-97}, pages 315--320, 1997.
63: 
64: \bibitem{grimmett:percolation}
65: G.~Grimmett.
66: \newblock {\em Percolation}.
67: \newblock Springer Verlag, 1988.
68: 
69: \bibitem{hara:slade:critical}
70: Hara and G.~Slade.
71: \newblock Mean-field critical behaviour for percolation in high 
72: dimensions.
73: \newblock {\em Communications in Mathematical Physics}, 128:333--391, 
74: 1990.
75: 
76: \bibitem{hayes:cant:get:sat}
77: B.~Hayes.
78: \newblock Can't get no satisfaction.
79: \newblock {\em American Scientist}, 85(2):108--112, March--April 1997.
80: 
81: \bibitem{hoel:port:stone}
82: P.~Hoel, S.~Port, and C.~Stone.
83: \newblock {\em Introduction to stochastic processes}.
84: \newblock Waveland Press Inc., 1987.
85: 
86: \bibitem{mammen-hogg}
87: T.~Hogg and D.~Mammen.
88: \newblock A new look at the easy-hard-easy pattern of combinatorial 
89: search
90:   difficulty.
91: \newblock {\em Journal of Artificial Intelligence Research}, 7:44--66, 
92: 1997.
93: 
94: \bibitem{istrate:cs.DS/9912001}
95: G.~Istrate.
96: \newblock The phase transition in random {H}orn satisfiability and its
97:   algorithmic implications.
98: \newblock Submitted to Random Structures and Algorithms (journal 
99: version of paper that appeared in AIM'98 and SODA'99), 
100: \newblock available as Technical Report cs.DS/9912001, A.C.M. Computing Research 
101: Repository
102:   (CoRR), http://xxx.lanl.gov/, 1999.
103: 
104: \bibitem{kautz-selman-kc}
105: H.~Kautz and B.~Selman.
106: \newblock Knowledge compilation and theory approximation.
107: \newblock {\em Journal of the ACM}, 43(2):193--224, 1996.
108: 
109: \bibitem{simmulated:annealing}
110: S.~Kirkpatrick, C.D. Gelatt, and M.~Vecchi.
111: \newblock Optimization by simulated annealing.
112: \newblock {\em Science}, 220(4598):671--680., 1983.
113: 
114: \bibitem{kirkpatrick:selman:scaling}
115: S.~Kirkpatrick and B.~Selman.
116: \newblock Critical behavior in the satisfiability of random boolean
117:   expressions.
118: \newblock {\em Science}, 264:1297--1301, 1994.
119: 
120: \bibitem{scaling:search:cost}
121: S.~Kirkpatrick and B.~Selman.
122: \newblock Critical behavior in the computational cost of satisfiability
123:   testing.
124: \newblock {\em Artificial Intelligence}, 81, 1996.
125: 
126: \bibitem{hamcyclerand}
127: J.~Koml\'{o}s and E.~Szemer\'{e}di.
128: \newblock Limit distribution for the existence of {H}amiltonian cycles 
129: in a
130:   random graph.
131: \newblock {\em Discrete Mathematics}, 43(1):55--63, 1983.
132: 
133: \bibitem{lindvall:coupling}
134: T.~Lindvall.
135: \newblock {\em Lectures on the coupling method}.
136: \newblock John Wiley, 1992.
137: 
138: \bibitem{mezard:parisi:matching}
139: M.~M\'{e}zard and G.~Parisi.
140: \newblock Replicas and optimization.
141: \newblock {\em J. Phys. France}, 46:L771--L778, September 1985.
142: 
143: \bibitem{virasoro-parisi-mezard}
144: M.~M\'{e}zard, G.~Parisi, and M.~Virasoro.
145: \newblock {\em Spin glass theory and beyond}.
146: \newblock World Scientific, 1987.
147: 
148: \bibitem{monasson:zecchina}
149: R.~Monasson and R.~Zecchina.
150: \newblock Statistical mechanics of the random $k$-{SAT} model.
151: \newblock {\em Physical Review E}, 56:1357, 1997.
152: 
153: \bibitem{2+p:rsa}
154: R.~Monasson, R.~Zecchina, S.~Kirkpatrick, B.~Selman, and L.~Troyansky.
155: \newblock $2+p$-{SAT}: Relation of typical-case complexity to the 
156: nature of the
157:   phase transition.
158: \newblock {\em Random Structures and Algorithms}, 15(3--4):414--435, 
159: 1999.
160: 
161: \bibitem{2+p:nature}
162: R.~Monasson, R.~Zecchina, S.~Kirkpatrick, B.~Selman, and L.~Troyansky.
163: \newblock Determining computational complexity from characteristic 
164: phase
165:   transitions.
166: \newblock {\em Nature}, 400(8):133--137, 1999.
167: 
168: \bibitem{non:mean:field:1}
169: C.M. Newman and D.L. Stein.
170: \newblock Non-mean-field behavior of realistic spin glasses.
171: \newblock {\em Physical Review Letters}, 76:515 -- 518, 1996.
172: 
173: \bibitem{non:mean:field:3}
174: C.M. Newman and D.L. Stein.
175: \newblock Response to {P}arisi's comment on "{N}on-mean-field behavior 
176: of
177:   realistic spin glasses".
178: \newblock Technical Report adap-org/9603001, Los Alamos e-print server,
179:   http://xxx.lanl.gov/ps/adap-org/9603001, 1996.
180: 
181: \bibitem{non:mean:field:2}
182: G.~Parisi.
183: \newblock Recent results support the predictions of spontaneously 
184: broken
185:   replica symmetry for realistic spin glasses.
186: \newblock Technical Report cond-mat/9603101, Los Alamos e-print server,
187:   http://xxx.lanl.gov/ps/cond-mat/9603101, 1996.
188: 
189: \bibitem{sheu:poisson}
190: S.~Sheu.
191: \newblock The {P}oisson approximation to the binomial distribution.
192: \newblock {\em The American Statistician}, 38(3):206--207, 1984.
193: 
194: \bibitem{talagrand:verres}
195: M.~Talagrand.
196: \newblock Verres de spin et optimisation combinatoire.
197: \newblock Seminaire Bourbaki. To appear in Asterisque., 1999.
198: 
199: \bibitem{wilson:ksat:wrong}
200: D.B..~Wilson.
201: \newblock The empirical values of the critical k-SAT exponents are 
202: wrong.
203: \newblock arXiv preprint math.PR/0005136 available from 
204: http://xxx.lanl.gov. 
205: 
206: 
207: \end{thebibliography}