Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christian B. Suttner
2000 – 2009
- 2006
[j16]- 2004
- [j15]Geoff Sutcliffe, Christian B. Suttner: The CADE-19 ATP System Competition. AI Commun. 17(3): 103-110 (2004)
- [c12]
- 2003
- [j14]Geoff Sutcliffe, Christian B. Suttner: The CADE-18 ATP System Competition. J. Autom. Reasoning 31(1): 23-32 (2003)
- [c11]
- 2002
- [j13]Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner: The development of CASC. AI Commun. 15(2-3): 79-90 (2002)
- [j12]Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier: The IJCAR ATP System Competition. J. Autom. Reasoning 28(3): 307-320 (2002)
- 2001
- [j11]Geoff Sutcliffe, Christian B. Suttner: Evaluating general purpose automated theorem proving systems. Artif. Intell. 131(1-2): 39-54 (2001)
1990 – 1999
- 1999
- [j10]
- [j9]Geoff Sutcliffe, Christian B. Suttner: The CADE-15 ATP System Competition. J. Autom. Reasoning 23(1): 1-23 (1999)
- 1998
- [j8]Christian B. Suttner, Geoff Sutcliffe: The CADE-14 ATP System Competition. J. Autom. Reasoning 21(1): 99-134 (1998)
- [j7]Geoff Sutcliffe, Christian B. Suttner: The TPTP Problem Library - CNF Release v1.2.1. J. Autom. Reasoning 21(2): 177-203 (1998)
- 1997
- [j6]Geoff Sutcliffe, Christian B. Suttner: The CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 137-138 (1997)
- [j5]Geoff Sutcliffe, Christian B. Suttner: The Design of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 139-162 (1997)
- [j4]Geoff Sutcliffe, Christian B. Suttner: The Procedures of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 163-169 (1997)
- [j3]
- [j2]Geoff Sutcliffe, Christian B. Suttner: The Results - of the CADE-13 ATP System Competition. J. Autom. Reasoning 18(2): 271-286 (1997)
- [j1]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
- [c10]Christian B. Suttner, Geoff Sutcliffe: The Design of the CADE-13 ATP System Competition. CADE 1996: 146-160
- [c9]
- 1995
- [b1]Christian B. Suttner: Parallelization of search-based systems by static partitioning with slackness. DISKI 101, Infix 1995, ISBN 978-3-89601-101-5, pp. 1-191
- 1994
- [c8]Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis: The TPTP Problem Library. CADE 1994: 252-266
- 1993
- [c7]Eike Jessen, Wolfgang Ertel, Christian B. Suttner: Optimal Multiprogramming Control for Parallel Computations. Parallel Computer Architectures 1993: 49-65
- 1992
- [c6]
- 1990
- [c5]Christian B. Suttner, Wolfgang Ertel: Automatic Acquisition of Search Guiding Heuristics. CADE 1990: 470-484
- [c4]Christian B. Suttner: A Parallel Theorem Prover with Heuristic Work Distribution. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 243-252
- [c3]Wolfgang Ertel, Christian B. Suttner: Project PARIS: Parallelisation of Inference Systems. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 363
- [c2]Christian B. Suttner: Representing Heuristic-Relevant Information for an Automated Theorem Prover. IMYCS 1990: 261-270
1980 – 1989
- 1989
- [c1]Wolfgang Ertel, Johann Schumann, Christian B. Suttner: Learning Heuristics for a Theorem Prover Using Back Propagation. ÖGAI 1989: 87-95
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:01 CEST by the dblp team