2000 |
33 | | Paul Walton Purdom Jr.,
Phillip G. Bradford,
Koichiro Tamura,
Sudhir Kumar:
Single column discrepancy and dynamic max-mini optimizations for quickly finding the most parsimonious evolutionary trees.
Bioinformatics 16(2): 140-151 (2000) |
1997 |
32 | | Paul Walton Purdom Jr.:
Backtracking and Random Constraint Satisfaction.
Ann. Math. Artif. Intell. 20(1-4): 393-410 (1997) |
31 | | Paul Walton Purdom Jr.,
G. Neil Haven:
Probe Order Backtracking.
SIAM J. Comput. 26(2): 456-483 (1997) |
1996 |
30 | | Cynthia A. Brown,
Larry Finkelstein,
Paul Walton Purdom Jr.:
Backtrack Searching in the Presence of Symmetry.
Nord. J. Comput. 3(3): 203-219 (1996) |
1994 |
29 | | Paul Walton Purdom Jr.:
Average Time for the Full Pure Literal Rule.
Inf. Sci. 78(3-4): 269-291 (1994) |
1993 |
28 | | Khaled M. Bugrara,
Paul Walton Purdom Jr.:
Average Time Analysis of Clause Order Backtracking.
SIAM J. Comput. 22(2): 303-317 (1993) |
1991 |
27 | EE | Paul Walton Purdom Jr.:
A practical unification algorithm.
Inf. Sci. 55(1-3): 123-127 (1991) |
1989 |
26 | | Khaled M. Bugrara,
Youfang Pan,
Paul Walton Purdom Jr.:
Exponential Average Time for the Pure Literal Rule.
SIAM J. Comput. 18(2): 409-418 (1989) |
25 | | Cynthia A. Brown,
Larry Finkelstein,
Paul Walton Purdom Jr.:
A New Base Change Algorithm for Permutation Groups.
SIAM J. Comput. 18(5): 1037-1047 (1989) |
1988 |
24 | | Cynthia A. Brown,
Larry Finkelstein,
Paul Walton Purdom Jr.:
Backtrack Searching in the Presence of Symmetry.
AAECC 1988: 99-110 |
23 | | Khaled M. Bugrara,
Paul Walton Purdom Jr.:
An Exponential Lower Bound for the Pure Literal Rule.
Inf. Process. Lett. 27(4): 215-219 (1988) |
1987 |
22 | | Paul Walton Purdom Jr.:
Detecting Looping Simplifications.
RTA 1987: 54-61 |
21 | EE | Paul Walton Purdom Jr.,
Cynthia A. Brown:
Polynomial-average-time satisfiability problems.
Inf. Sci. 41(1): 23-42 (1987) |
20 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
Tree Matching and Simplification.
Softw., Pract. Exper. 17(2): 105-115 (1987) |
1986 |
19 | | Cynthia A. Brown,
Larry Finkelstein,
Paul Walton Purdom Jr.:
Intelligent Backtracking Using Symmetry.
FJCC 1986: 576-584 |
1985 |
18 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
Fast Many-to-One Matching Algorithms.
RTA 1985: 407-416 |
17 | EE | Dana S. Nau,
Paul Walton Purdom Jr.,
Chun-Hung Tzeng:
An Evaluation of Two Alternatives to Minimax.
UAI 1985: 505-509 |
16 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
The Pure Literal Rule and Polynomial Average Time.
SIAM J. Comput. 14(4): 943-953 (1985) |
1984 |
15 | | Cynthia A. Brown,
Paul Walton Purdom Jr.:
A Methodology and Notation for Compiler Front End Design.
Softw., Pract. Exper. 14(4): 335-346 (1984) |
1983 |
14 | | Chun-Hung Tzeng,
Paul Walton Purdom Jr.:
A Theory of Game Trees.
AAAI 1983: 416-419 |
13 | | Paul Walton Purdom Jr.:
Search Rearrangement Backtracking and Polynomial Average Time.
Artif. Intell. 21(1-2): 117-133 (1983) |
12 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
An Analysis of Backtracking with Search Rearrangement.
SIAM J. Comput. 12(4): 717-733 (1983) |
1982 |
11 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
Evaluating Search Methods Analytically.
AAAI 1982: 124-127 |
10 | | Allen Goldberg,
Paul Walton Purdom Jr.,
Cynthia A. Brown:
Average Time Analyses of Simplified Davis-Putnam Procedures.
Inf. Process. Lett. 15(2): 72-75 (1982) |
1981 |
9 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
Parsing Extended LR(k) Grammars.
Acta Inf. 15: 115-127 (1981) |
8 | | Paul Walton Purdom Jr.,
Cynthia A. Brown,
Edward L. Robertson:
Backtracking with Multi-Level Dynamic Search Rearrangement.
Acta Inf. 15: 99-113 (1981) |
7 | | Cynthia A. Brown,
Paul Walton Purdom Jr.:
An Average Time Analysis of Backtracking.
SIAM J. Comput. 10(3): 583-593 (1981) |
1980 |
6 | | Paul Walton Purdom Jr.,
Cynthia A. Brown:
Semantic Routines and LR(k) Parsers.
Acta Inf. 14: 299-315 (1980) |
1978 |
5 | | Paul Walton Purdom Jr.:
Tree Size by Partial Backtracking.
SIAM J. Comput. 7(4): 481-491 (1978) |
1972 |
4 | | Paul Walton Purdom Jr.,
Edward F. Moore:
Immediate Predominators in a Directed Graph [H] (Algorithm 430).
Commun. ACM 15(8): 777-778 (1972) |
3 | EE | Harry C. Heacox Jr.,
Paul Walton Purdom Jr.:
Analysis of Two Time-Sharing Queueing Models.
J. ACM 19(1): 70-91 (1972) |
1970 |
2 | | Paul Walton Purdom Jr.:
A Transitive Closure Algorithm.
BIT 10: 76-94 (1970) |
1 | EE | Paul Walton Purdom Jr.,
Stephen M. Stigler:
Statistical Properties of the Buddy System.
J. ACM 17(4): 683-697 (1970) |