`Travelled to:`

1 × Australia

1 × Canada

1 × France

1 × Germany

5 × USA

`Collaborated with:`

∅ H.Zhang O.L.Astrachan N.Bjørner T.E.Uribe R.J.Waldinger M.R.Lowry T.Pressburger I.Underwood H.A.Kautz Y.Ruan D.Achlioptas C.P.Gomes B.Selman

`Talks about:`

theorem (8) prover (6) prolog (5) technolog (4) deduct (3) problem (2) system (2) rewrit (2) studi (2) prove (2)

## Person: Mark E. Stickel

### DBLP: Stickel:Mark_E=

### Facilitated 1 volumes:

### Contributed to:

### Wrote 14 papers:

- CADE-2009-Stickel #proving #theorem proving
- Building Theorem Provers (MES), pp. 306–321.
- SAT-2001-KautzRAGSS #problem #satisfiability
- Balance and Filtering in Structured Satisfiable Problems (HAK, YR, DA, CPG, BS, MES), pp. 2–18.
- CADE-1997-BjornerSU #first-order #integration #reasoning
- A Practical Integration of First-Order Reasoning and Decision Procedures (NB, MES, TEU), pp. 101–115.
- RTA-1995-Stickel #proving #term rewriting #theorem proving
- Term Rewriting in Contemporary Resolution Theorem Proving (MES), p. 101.
- RTA-1995-StickelZ #problem
- Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results (MES, HZ), pp. 450–456.
- CADE-1994-StickelWLPU #composition #deduction #library
- Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.
- CADE-1992-AstrachanS #proving #theorem proving
- Caching and Lemmaizing in Model Elimination Theorem Provers (OLA, MES), pp. 224–238.
- CADE-1990-Stickel #prolog #proving #theorem proving
- A Prolog Technology Theorem Prover (MES), pp. 673–674.
- CADE-1988-Stickel #automation #deduction
- The KLAUS Automated Deduction System (MES), pp. 750–751.
- CADE-1988-Stickel88a #prolog #proving #theorem proving
- A Prolog Technology Theorem Prover (MES), pp. 752–753.
- CADE-1986-Stickel #compilation #implementation #prolog #proving #theorem proving
- A prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler (MES), pp. 573–587.
- CADE-1986-Stickel86a #automation #deduction
- The KLAUS Automated Deduction System (MES), pp. 703–704.
- CADE-1984-Stickel #case study #commutative #proving #theorem proving
- A Case Study of Theorem Proving by the Knuth-Bendix Method: Discovering That x³=x Implies Ring Commutativity (MES), pp. 248–258.
- SLP-1984-Stickel84 #prolog #proving #theorem proving
- A Prolog Technology Theorem Prover (MES), pp. 211–217.