Paul Walton jun. Purdom

From MaRDI portal
Person:1095676

Available identifiers

zbMath Open purdom.paul-walton-junMaRDI QIDQ1095676

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q31458052012-12-23Paper
Average-Case Performance of the Apriori Algorithm2005-02-21Paper
https://portal.mardi4nfdi.de/entity/Q43757581998-05-25Paper
https://portal.mardi4nfdi.de/entity/Q43757571998-03-02Paper
Backtracking and random constraint satisfaction1997-10-26Paper
Probe Order Backtracking1997-05-26Paper
https://portal.mardi4nfdi.de/entity/Q43317541997-02-05Paper
Average Time Analysis of Clause Order Backtracking1993-05-17Paper
https://portal.mardi4nfdi.de/entity/Q39853471992-06-27Paper
A practical unification algorithm1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38327411989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42038151989-01-01Paper
Exponential Average Time for the Pure Literal Rule1989-01-01Paper
A New Base Change Algorithm for Permutation Groups1989-01-01Paper
An exponential lower bound for the pure literal rule1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37749331987-01-01Paper
Polynomial-average-time satisfiability problems1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36965231985-01-01Paper
The Pure Literal Rule and Polynomial Average Time1985-01-01Paper
Solving Satisfiability with Less Searching1984-01-01Paper
A methodology and notation for compiler front end design1984-01-01Paper
An Analysis of Backtracking with Search Rearrangement1983-01-01Paper
Parsing extended LR(k) grammars1981-01-01Paper
An Average Time Analysis of Backtracking1981-01-01Paper
Backtracking with multi-level dynamic search rearrangement1981-01-01Paper
Semantic routines and \(LR(k)\) parsers1980-01-01Paper
Exact formulas for the buddy system1980-01-01Paper
Tree Size by Partial Backtracking1978-01-01Paper
Automatic program indentation1978-01-01Paper
The size of LALR (1) parsers1974-01-01Paper
Analysis of a multi-level time-sharing model1974-01-01Paper
A sentence generator for testing parsers1972-01-01Paper
Analysis of Two Time-Sharing Queueing Models1972-01-01Paper
Statistical investigation of three storage allocation algorithms1971-01-01Paper
Statistical Properties of the Buddy System1970-01-01Paper

Research outcomes over time

This page was built for person: Paul Walton jun. Purdom