Paul Walton jun. Purdom

Available identifiers

zbMath Open purdom.paul-walton-junMaRDI QIDQ1095676

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3145805	2012-12-23	Paper
Average-Case Performance of the Apriori Algorithm	2005-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4375758	1998-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4375757	1998-03-02	Paper
Backtracking and random constraint satisfaction	1997-10-26	Paper
Probe Order Backtracking	1997-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4331754	1997-02-05	Paper
Average Time Analysis of Clause Order Backtracking	1993-05-17	Paper
https://portal.mardi4nfdi.de/entity/Q3985347	1992-06-27	Paper
A practical unification algorithm	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832741	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4203815	1989-01-01	Paper
Exponential Average Time for the Pure Literal Rule	1989-01-01	Paper
A New Base Change Algorithm for Permutation Groups	1989-01-01	Paper
An exponential lower bound for the pure literal rule	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774933	1987-01-01	Paper
Polynomial-average-time satisfiability problems	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696523	1985-01-01	Paper
The Pure Literal Rule and Polynomial Average Time	1985-01-01	Paper
Solving Satisfiability with Less Searching	1984-01-01	Paper
A methodology and notation for compiler front end design	1984-01-01	Paper
An Analysis of Backtracking with Search Rearrangement	1983-01-01	Paper
Parsing extended LR(k) grammars	1981-01-01	Paper
An Average Time Analysis of Backtracking	1981-01-01	Paper
Backtracking with multi-level dynamic search rearrangement	1981-01-01	Paper
Semantic routines and \(LR(k)\) parsers	1980-01-01	Paper
Exact formulas for the buddy system	1980-01-01	Paper
Tree Size by Partial Backtracking	1978-01-01	Paper
Automatic program indentation	1978-01-01	Paper
The size of LALR (1) parsers	1974-01-01	Paper
Analysis of a multi-level time-sharing model	1974-01-01	Paper
A sentence generator for testing parsers	1972-01-01	Paper
Analysis of Two Time-Sharing Queueing Models	1972-01-01	Paper
Statistical investigation of three storage allocation algorithms	1971-01-01	Paper
Statistical Properties of the Buddy System	1970-01-01	Paper

Research outcomes over time

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