共 18 条
[1]
Cheeseman P.(1991)Where the really hard problems are Proc. of IJCAI-91 1 331-337
[2]
Kanefsky B.(1962)A machine program for theorem-proving Communications of the ACM 5 394-397
[3]
Taylor W.M.(1999)Sharp thresholds of graph proprties, and the J. Amer. Math. Soc. 12 1017-1054
[4]
Davis M.(1996)-SAT problem Proc. Amer. Math. Soc. 124 2993-3002
[5]
Logemann G.(1996)Every monotone graph property has a sharp threshold Journal of Algorithms 20 312-355
[6]
Loveland D.(1980)Analysis of two simple heuristics on a random instance of Proceedings of the IEEE 68 1497-1514
[7]
Friedgut E.(1994)-SAT Science 264 1297-1301
[8]
Friedgut E.(2000)Frequency assignment: theory and applications IEEE Personal Communications 7 16-27
[9]
Kalai G.(1994)Critical behavior in the satisfiability of random Boolean expressions Artificial Intelligence 70 73-117
[10]
Frieze A.M.(1998)Protocols for self-organization of a wireless sensor network IEEE Transactions on Knowledge and Data Engineering 10 673-685