1: @article(frieze, key="Frieze96", author="Frieze, A. and Suen, S.",
2: title="Analysis of two simlpe heuristics on a random instance of k-SAT",
3: journal="Journal of Algorithms",
4: volume="53", pages="469-486",
5: year=1996)
6:
7: @article(achlioptas, key="Achlioptas99",
8: author="Achlioptas, D. and Kirousis, L.M. and Kranakis, E. and
9: Krizanc, D. and Molloy, M.S.O. and Stamatiou, Y.C.",
10: title="Random Constraint Satisfaction: A More Accurate Picture",
11: journal="Constraints",
12: note="submitted.
13: Also in {\em Proc. Third International Conference on Principles
14: and Practice of Constraint Programming (CP 97)}, Springer-Verlag,
15: pp. 107--120, 1997.",
16: year=1999)
17:
18: @book(bollo, key="Bollobas85", author="Bollob{\'a}s, B.",
19: title="Random Graphs", publisher="Academic Press, New York",
20: year=1985)
21:
22: @inproceedings(cheeseman, key="Cheeseman91",
23: author="Cheeseman, P. and Kanefsky, B. and Taylor, W.",
24: title="Where the really hard problems are",
25: BookTitle="Proceedings of IJCAI-91", pages="331-337",
26: year=1991)
27:
28: @inproceedings(dechter, key="Dechter98",
29: author="Dechter, R.",
30: title="Constraint satisfaction",
31: BookTitle="MIT Encyclopedia of the Cognitive Sciences (MITECS)",
32: publisher="Online at
33: {``} ftp://ftp.ics.uci.edu/pub/CSP-repository/papers/R68.ps{"}",
34: year=1998)
35:
36: @inproceedings(frost, key="Frost94",
37: author="Frost, D. and Dechter, R.",
38: title="In search of the best constraint satisfaction search",
39: BookTitle="Proceedings of AAAI-94", pages="301-306",
40: year=1994)
41:
42: @article(friedgut, key="Friedgut98", author="Friedgut, E.",
43: title="Sharp thresholds for graph properties and the k-sat problem",
44: journal="Journal of the American Mathematical Society",
45: volume="12", pages="1017-1054",
46: year=1999)
47:
48: @article(gent, key="Gent99",
49: author="Gent, I.P. and MacIntyre, E. and Prosser, P. and Smith, B.M.
50: and Walsh, T.",
51: title="Random Constraint Satisfaction: Flaws and Structure",
52: journal="Constraints",
53: note="submitted. Online at
54: {``} http://www.cs.strath.edu.uk/\~{}apes/apesreports.html{"}",
55: year=1999)
56:
57: @article(hogg, key="Hogg96", author="Hogg, T.",
58: title="Refining the phase transition in combinatorial search",
59: journal="Artificial Intelligence",
60: volume="81", pages="127-154",
61: year=1996)
62:
63: @article(kirkpatrick, key="Kirkpatrick94",
64: author="Kirkpatrick, S. and Selman, B.",
65: title="Critical behavior in the satisfiability of random boolean expressions",
66: journal="Science", volume="264", pages="1297-1301",
67: year=1994)
68:
69: @article(kirousis, key="Kirousis98",
70: author="Kirousis, L.M. and Kranakis, E. and Krizanc, D.
71: and Stamatiou, Y.C.",
72: title="Approximating the unsatisfiability threshold of random formulas",
73: journal="Random Structures and Algorithms",
74: volume="12", pages="253-269",
75: year=1998)
76:
77: @inproceedings(larrosa, key="Larrosa96",
78: author="Larrosa, J. and Meseguer, P.",
79: title="Phase Transition in MAX-CSP",
80: BookTitle="Proceedings of ECAI-96", pages="190-194",
81: year=1996)
82:
83: @inproceedings(mitchell, key="Mitchell92",
84: author="Mitchell, D. and Selman, B. and Levesque, H.",
85: title="Hard and easy distributions of SAT problems",
86: BookTitle="Proceedings of AAAI-92",
87: pages="459-465",
88: year=1992)
89:
90: @inproceedings(parkes, key="Parkey97",
91: author="Parkes, A.J.",
92: title="Clustering at the Phase Transition",
93: BookTitle="Proceedings of AAAI-97",
94: pages="340-345",
95: year=1997)
96:
97: @article(prosser, key="Prosser96",
98: author="Prosser, P.",
99: title="An empirical study of phase transitions in binary constraint
100: satisfaction problems",
101: journal="Artificial Intelligence",
102: volume="81", pages="81-109",
103: year=1996)
104:
105: @article(purdom, key="Purdom97",
106: author="Purdom, P.W.",
107: title="Backtracking and random constraint satisfaction",
108: journal="Annals of Mathematics and Artificial Intelligence",
109: volume="20", pages="393-410",
110: year=1997)
111:
112: @article(smith, key="Smith96",
113: author="Smith, B.M. and Dyer, M.E.",
114: title="Locating the phase transition in binary constraint
115: satisfaction problems",
116: journal="Artificial Intelligence",
117: volume="81", pages="155-181",
118: year=1996)
119:
120: @manual(smitha, key="Smith99", author="Smith, B.M.",
121: title="Constructing an Asymptotic Phase Transition in
122: Random Binary Constraint Satisfaction Problems",
123: note="Extended Abstract",
124: year=1999)
125:
126: @article(vandegriend, key="Vandegriend98",
127: author="Vandegriend, B. and Culberson, J.",
128: title="The {$G_{n,m}$} Phase Transition is Not Hard for the
129: Hamiltonian Cycle Problem",
130: journal="Journal of Artificial Intelligence Research",
131: volume="9", pages="219-245",
132: year=1998)
133:
134: @article(williams, key="Williams94",
135: author="Williams, C. and Hogg, T.",
136: title="Exploiting the deep structure of constraint problems",
137: journal="Artificial Intelligence",
138: volume="70", pages="73-117",
139: year=1994)
140:
141: