Person:1095676

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
A New Base Change Algorithm for Permutation Groups	1989-01-01	Paper
Exponential Average Time for the Pure Literal Rule	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832741	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4203815	1989-01-01	Paper
An exponential lower bound for the pure literal rule	1988-01-01	Paper
Polynomial-average-time satisfiability problems	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3774933	1987-01-01	Paper
The Pure Literal Rule and Polynomial Average Time	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696523	1985-01-01	Paper
A methodology and notation for compiler front end design	1984-01-01	Paper
Solving Satisfiability with Less Searching	1984-01-01	Paper
An Analysis of Backtracking with Search Rearrangement	1983-01-01	Paper
Backtracking with multi-level dynamic search rearrangement	1981-01-01	Paper
Parsing extended LR(k) grammars	1981-01-01	Paper
An Average Time Analysis of Backtracking	1981-01-01	Paper
Semantic routines and \(LR(k)\) parsers	1980-01-01	Paper
Exact formulas for the buddy system	1980-01-01	Paper
Automatic program indentation	1978-01-01	Paper
Tree Size by Partial Backtracking	1978-01-01	Paper
Analysis of a multi-level time-sharing model	1974-01-01	Paper
The size of LALR (1) parsers	1974-01-01	Paper
Analysis of Two Time-Sharing Queueing Models	1972-01-01	Paper
A sentence generator for testing parsers	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

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