| Algorithms for the satisfiability (SAT) problem: A survey. J Gu, PW Purdom, JV Franco, BW Wah Satisfiability problem: Theory and applications 35, 19-152, 1996 | 527 | 1996 |
| A sentence generator for testing parsers P Purdom BIT Numerical Mathematics 12, 366-375, 1972 | 340 | 1972 |
| Search rearrangement backtracking and polynomial average time PW Purdom Jr Artificial intelligence 21 (1-2), 117-133, 1983 | 271 | 1983 |
| The analysis of algorithms PW Purdom, CA Brown Holt, Rinehart and Winston, 1985 | 245 | 1985 |
| A transitive closure algorithm P Purdom Jr BIT Numerical Mathematics 10 (1), 76-94, 1970 | 176 | 1970 |
| Average time analysis of simplified Davis-Putnam procedures A Goldberg, P Purdom, C Brown Information Processing Letters 15 (2), 72-75, 1982 | 154 | 1982 |
| Backtrack searching in the presence of symmetry CA Brown, L Finkelstein, PW Purdom Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 6th …, 1989 | 119 | 1989 |
| An average time analysis of backtracking CA Brown, PW Purdom, Jr SIAM Journal on Computing 10 (3), 583-593, 1981 | 115 | 1981 |
| Algorithm 430 [H]: Immediate predominators in a directed graph PW Purdom Jr, EF Moore Communications of the ACM 15 (8), 777-778, 1972 | 96 | 1972 |
| Tree size by partial backtracking PW Purdom SIAM Journal on Computing 7 (4), 481-491, 1978 | 95 | 1978 |
| The pure literal rule and polynomial average time PW Purdom, Jr, CA Brown SIAM Journal on Computing 14 (4), 943-953, 1985 | 92 | 1985 |
| Backtracking with multi-level dynamic search rearrangement PW Purdom, CA Brown, EL Robertson Acta Informatica 15, 99-113, 1981 | 65 | 1981 |
| Polynomial-average-time satisfiability problems PW Purdom Jr, CA Brown Information Sciences 41 (1), 23-42, 1987 | 62 | 1987 |
| Statistical properties of the buddy system PW Purdom Jr, SM Stigler Journal of the ACM (JACM) 17 (4), 683-697, 1970 | 60 | 1970 |
| An analysis of backtracking with search rearrangement PW Purdom, Jr, CA Brown SIAM Journal on Computing 12 (4), 717-733, 1983 | 58 | 1983 |
| Average-case performance of the apriori algorithm PW Purdom, D Van Gucht, DP Groth SIAM Journal on Computing 33 (5), 1223-1260, 2004 | 52 | 2004 |
| Semantic routines and LR(k) parsers P Purdom, CA Brown Acta Informatica 14, 299-315, 1980 | 51 | 1980 |
| Solving satisfiability with less searching PW Purdom IEEE transactions on pattern analysis and machine intelligence, 510-513, 1984 | 50 | 1984 |
| Satisfiability Algorithms P PURDoM Journal of Information Processing 13 (4), 1990 | 47 | 1990 |
| Parsing extended LR(k) grammars PW Purdom, CA Brown Acta Informatica 15, 115-127, 1981 | 41 | 1981 |
Benjamin W. WahChinese University of Hong Kong在 illinois.edu 的电子邮件经过验证
