dblp.uni-trier.dewww.uni-trier.de

Christian B. Suttner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
28EEGeoff Sutcliffe, Christian B. Suttner: The state of CASC. AI Commun. 19(1): 35-48 (2006)
2004
27EEGeoff Sutcliffe, Christian B. Suttner: The CADE ATP System Competition. IJCAR 2004: 490-491
26EEGeoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. AI Commun. 17(3): 103-110 (2004)
2003
25EEGeoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. CADE 2003: 295-296
24EEGeoff Sutcliffe, Christian B. Suttner: The CADE-18 ATP System Competition. J. Autom. Reasoning 31(1): 23-32 (2003)
2002
23EEFrancis 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
21EEGeoff 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
10EEChristian 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
8EEGeoff 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
6EEChristian B. Suttner: Parallel Computation of Multiple Sets-of_Support. LPAR 1992: 238-249
1990
5EEChristian 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
2EEChristian 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

Coauthor Index

1Wolfgang Ertel [1] [3] [5] [7]
2Eike Jessen [7]
3Francis Jeffry Pelletier [11] [22] [23]
4Johann Schumann [1]
5Geoff Sutcliffe [8] [10] [11] [12] [14] [15] [16] [17] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28]
6Theodor Yemenis [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)