Paul Walton Purdom Jr.

41 papers A* 3A 1C 1Journal 30Unranked 6

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	An Evaluation of Two Alternatives to Minimax CoRR Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng
2000	J	`jnl`	Single column discrepancy and dynamic max-mini optimizations for quickly finding the most parsimonious evolutionary trees. Bioinform. Paul Walton Purdom Jr., Phillip G. Bradford, Koichiro Tamura, Sudhir Kumar
1997	J	`jnl`	Backtracking and Random Constraint Satisfaction. Ann. Math. Artif. Intell. Paul Walton Purdom Jr.
1997	J	`jnl`	Probe Order Backtracking. SIAM J. Comput. Paul Walton Purdom Jr., G. Neil Haven
1996	J	`jnl`	Backtrack Searching in the Presence of Symmetry. Nord. J. Comput. Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
1996	—	`conf`	Backtracking and probing. Satisfiability Problem: Theory and Applications Paul Walton Purdom Jr., G. Neil Haven
1994	J	`jnl`	Average Time for the Full Pure Literal Rule. Inf. Sci. Paul Walton Purdom Jr.
1993	J	`jnl`	Average Time Analysis of Clause Order Backtracking. SIAM J. Comput. Khaled M. Bugrara, Paul Walton Purdom Jr.
1991	J	`jnl`	A practical unification algorithm. Inf. Sci. Paul Walton Purdom Jr.
1989	J	`jnl`	A New Base Change Algorithm for Permutation Groups. SIAM J. Comput. Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
1989	J	`jnl`	Exponential Average Time for the Pure Literal Rule. SIAM J. Comput. Khaled M. Bugrara, Youfang Pan, Paul Walton Purdom Jr.
1989	—	`conf`	Fast Group Membership Using a Strong Generating Test for Permutation Groups. Computers and Mathematics Gene Cooperman, Larry Finkelstein, Paul Walton Purdom Jr.
1988	J	`jnl`	An Exponential Lower Bound for the Pure Literal Rule. Inf. Process. Lett. Khaled M. Bugrara, Paul Walton Purdom Jr.
1988	—	`conf`	Backtrack Searching in the Presence of Symmetry. AAECC Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
1987	—	`conf`	Detecting Looping Simplifications. RTA Paul Walton Purdom Jr.
1987	J	`jnl`	Polynomial-average-time satisfiability problems. Inf. Sci. Paul Walton Purdom Jr., Cynthia A. Brown
1987	J	`jnl`	Tree Matching and Simplification. Softw. Pract. Exp. Paul Walton Purdom Jr., Cynthia A. Brown
1986	C	`conf`	Estimation of minimax values. ISMIS Chun-Hung Tzeng, Paul Walton Purdom Jr.
1986	J	`jnl`	Experiments on alternatives to minimax. Int. J. Parallel Program. Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng
1986	—	`conf`	Intelligent Backtracking Using Symmetry. FJCC Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.
1985	A	`conf`	An Evaluation of Two Alternatives to Minimax. UAI Dana S. Nau, Paul Walton Purdom Jr., Chun-Hung Tzeng
1985	—	`conf`	Fast Many-to-One Matching Algorithms. RTA Paul Walton Purdom Jr., Cynthia A. Brown
1985	J	`jnl`	The Pure Literal Rule and Polynomial Average Time. SIAM J. Comput. Paul Walton Purdom Jr., Cynthia A. Brown
1984	J	`jnl`	A Methodology and Notation for Compiler Front End Design. Softw. Pract. Exp. Cynthia A. Brown, Paul Walton Purdom Jr.
1983	A*	`conf`	A Theory of Game Trees. AAAI Chun-Hung Tzeng, Paul Walton Purdom Jr.
1983	J	`jnl`	An Analysis of Backtracking with Search Rearrangement. SIAM J. Comput. Paul Walton Purdom Jr., Cynthia A. Brown
1983	J	`jnl`	Search Rearrangement Backtracking and Polynomial Average Time. Artif. Intell. Paul Walton Purdom Jr.
1982	J	`jnl`	An Empirical Comparison of Backtracking Algorithms. IEEE Trans. Pattern Anal. Mach. Intell. Cynthia A. Brown, Paul Walton Purdom Jr.
1982	J	`jnl`	Average Time Analyses of Simplified Davis-Putnam Procedures. Inf. Process. Lett. Allen Goldberg, Paul Walton Purdom Jr., Cynthia A. Brown
1982	A*	`conf`	Evaluating Search Methods Analytically. AAAI Paul Walton Purdom Jr., Cynthia A. Brown
1981	J	`jnl`	An Average Time Analysis of Backtracking. SIAM J. Comput. Cynthia A. Brown, Paul Walton Purdom Jr.
1981	J	`jnl`	Backtracking with Multi-Level Dynamic Search Rearrangement. Acta Informatica Paul Walton Purdom Jr., Cynthia A. Brown, Edward L. Robertson
1981	A*	`conf`	How to Search Efficiently. IJCAI Cynthia A. Brown, Paul Walton Purdom Jr.
1981	J	`jnl`	Parsing Extended Acta Informatica Paul Walton Purdom Jr., Cynthia A. Brown
1980	J	`jnl`	Exact formulas for the buddy system. Inf. Sci. Paul Walton Purdom Jr., Cynthia A. Brown
1980	J	`jnl`	Semantic Routines and Acta Informatica Paul Walton Purdom Jr., Cynthia A. Brown
1978	J	`jnl`	Tree Size by Partial Backtracking. SIAM J. Comput. Paul Walton Purdom Jr.
1972	J	`jnl`	Analysis of Two Time-Sharing Queueing Models. J. ACM Harry C. Heacox Jr., Paul Walton Purdom Jr.
1972	J	`jnl`	Immediate Predominators in a Directed Graph [H] (Algorithm 430). Commun. ACM Paul Walton Purdom Jr., Edward F. Moore
1970	J	`jnl`	A Transitive Closure Algorithm. BIT Paul Walton Purdom Jr.
1970	J	`jnl`	Statistical Properties of the Buddy System. J. ACM Paul Walton Purdom Jr., Stephen M. Stigler