 | 2006 |
|---|
| 28 |       | Geoff Sutcliffe,
Christian B. Suttner:
The state of CASC.
AI Commun. 19(1): 35-48 (2006) |
| 2004 |
|---|
| 27 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE ATP System Competition.
IJCAR 2004: 490-491 |
| 26 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-19 ATP System Competition.
AI Commun. 17(3): 103-110 (2004) |
| 2003 |
|---|
| 25 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-19 ATP System Competition.
CADE 2003: 295-296 |
| 24 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-18 ATP System Competition.
J. Autom. Reasoning 31(1): 23-32 (2003) |
| 2002 |
|---|
| 23 | | Francis Jeffry Pelletier,
Geoff Sutcliffe,
Christian B. Suttner:
The development of CASC.
AI Commun. 15(2-3): 79-90 (2002) |
| 22 |  | Geoff Sutcliffe,
Christian B. Suttner,
Francis Jeffry Pelletier:
The IJCAR ATP System Competition.
J. Autom. Reasoning 28(3): 307-320 (2002) |
| 2001 |
|---|
| 21 | | Geoff Sutcliffe,
Christian B. Suttner:
Evaluating general purpose automated theorem proving systems.
Artif. Intell. 131(1-2): 39-54 (2001) |
| 1999 |
|---|
| 20 | | Christian B. Suttner:
SPS-Parallelism + SETHEO = SPTHEO.
J. Autom. Reasoning 22(4): 397-431 (1999) |
| 19 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-15 ATP System Competition.
J. Autom. Reasoning 23(1): 1-23 (1999) |
| 1998 |
|---|
| 18 | | Christian B. Suttner,
Geoff Sutcliffe:
The CADE-14 ATP System Competition.
J. Autom. Reasoning 21(1): 99-134 (1998) |
| 17 | | Geoff Sutcliffe,
Christian B. Suttner:
The TPTP Problem Library - CNF Release v1.2.1.
J. Autom. Reasoning 21(2): 177-203 (1998) |
| 1997 |
|---|
| 16 | | Geoff Sutcliffe,
Christian B. Suttner:
The CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 137-138 (1997) |
| 15 | | Geoff Sutcliffe,
Christian B. Suttner:
The Design of the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 139-162 (1997) |
| 14 | | Geoff Sutcliffe,
Christian B. Suttner:
The Procedures of the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 163-169 (1997) |
| 13 | | Christian B. Suttner:
SPTHEO - A Parallel Theorem Prover.
J. Autom. Reasoning 18(2): 253-258 (1997) |
| 12 | | Geoff Sutcliffe,
Christian B. Suttner:
The Results - of the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 271-286 (1997) |
| 11 | | Francis Jeffry Pelletier,
Geoff Sutcliffe,
Christian B. Suttner:
Conclusions about the CADE-13 ATP System Competition.
J. Autom. Reasoning 18(2): 287-296 (1997) |
| 1996 |
|---|
| 10 | | Christian B. Suttner,
Geoff Sutcliffe:
The Design of the CADE-13 ATP System Competition.
CADE 1996: 146-160 |
| 9 | | Christian B. Suttner:
SPTHEO - A PVM-Based Parallel Theorem Prover.
PVM 1996: 116-125 |
| 1994 |
|---|
| 8 | | Geoff Sutcliffe,
Christian B. Suttner,
Theodor Yemenis:
The TPTP Problem Library.
CADE 1994: 252-266 |
| 1993 |
|---|
| 7 | | Eike Jessen,
Wolfgang Ertel,
Christian B. Suttner:
Optimal Multiprogramming Control for Parallel Computations.
Parallel Computer Architectures 1993: 49-65 |
| 1992 |
|---|
| 6 | | Christian B. Suttner:
Parallel Computation of Multiple Sets-of_Support.
LPAR 1992: 238-249 |
| 1990 |
|---|
| 5 | | Christian B. Suttner,
Wolfgang Ertel:
Automatic Acquisition of Search Guiding Heuristics.
CADE 1990: 470-484 |
| 4 | | Christian B. Suttner:
A Parallel Theorem Prover with Heuristic Work Distribution.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 243-252 |
| 3 | | Wolfgang Ertel,
Christian B. Suttner:
Project PARIS: Parallelisation of Inference Systems.
Dagstuhl Seminar on Parallelization in Inference Systems 1990: 363 |
| 2 | | Christian B. Suttner:
Representing Heuristic-Relevant Information for an Automated Theorem Prover.
IMYCS 1990: 261-270 |
| 1989 |
|---|
| 1 | | Wolfgang Ertel,
Johann Schumann,
Christian B. Suttner:
Learning Heuristics for a Theorem Prover Using Back Propagation.
ÖGAI 1989: 87-95 |
