`Travelled to:`

1 × France

3 × USA

`Collaborated with:`

P.T.Cox S.Matwin

`Talks about:`

exponenti (2) backtrack (2) improv (2) effici (2) deduct (2) nonredund (1) implement (1) algorithm (1) structur (1) strategi (1)

## Person: Tomasz Pietrzykowski

### DBLP: Pietrzykowski:Tomasz

### Contributed to:

### Wrote 6 papers:

- SLP-1987-CoxP87 #abduction
- General Diagnosis by Abductive Inference (PTC, TP), pp. 183–189.
- CADE-1986-CoxP
- Causes for Events: Their Computation and Applications (PTC, TP), pp. 608–621.
- SLP-1985-CoxP85 #deduction #logic programming
- Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.
- CADE-1982-MatwinP #backtracking #data type #exponential #implementation #performance
- Exponential Improvement of Efficient Backtracking: data Structure and Implementation (SM, TP), pp. 240–259.
- CADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance
- Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.
- CADE-1980-CoxP #algorithm
- A Complete, Nonredundant Algorithm for Reversed Skolemization (PTC, TP), pp. 374–385.