共 23 条
- [1] [Anonymous], PROBABILISTIC ALGORI
- [2] [Anonymous], 1997, APPROXIMATION ALGORI
- [3] ASH RB, 1965, INFORMATION THEORY
- [4] BOLC L, 1992, SEARCH METHODS ARTIF
- [5] COHEN G, 1997, COVERING CODES MATH, V54
- [6] DANTSIN E, 1983, J SOVIET MATH, V22, P1293
- [7] GU J, 2000, ALGORITHMS SATISFIAB
- [8] New worst-case upper bounds for SAT [J]. JOURNAL OF AUTOMATED REASONING, 2000, 24 (04) : 397 - 420
- [9] SAT local search algorithms: Worst-case study [J]. JOURNAL OF AUTOMATED REASONING, 2000, 24 (1-2) : 127 - 143
- [10] ON THE GREEDY ALGORITHM FOR SATISFIABILITY [J]. INFORMATION PROCESSING LETTERS, 1992, 43 (01) : 53 - 55