Christian B. Suttner

Publication Activity (10 Years)

Years Active: 1989-2006
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Geoff Sutcliffe, Christian B. Suttner
The state of CASC. AI Commun. 19 (1) (2006)
Geoff Sutcliffe, Christian B. Suttner
The CADE-19 ATP System Competition. AI Commun. 17 (3) (2004)
Geoff Sutcliffe, Christian B. Suttner
The CADE ATP System Competition. IJCAR (2004)
Geoff Sutcliffe, Christian B. Suttner
The CADE-19 ATP System Competition. CADE (2003)
Geoff Sutcliffe, Christian B. Suttner
The CADE-18 ATP System Competition. J. Autom. Reason. 31 (1) (2003)
Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
The IJCAR ATP System Competition. J. Autom. Reason. 28 (3) (2002)
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
The development of CASC. AI Commun. 15 (2-3) (2002)
Geoff Sutcliffe, Christian B. Suttner
Evaluating general purpose automated theorem proving systems. Artif. Intell. 131 (1-2) (2001)
Geoff Sutcliffe, Christian B. Suttner
The CADE-15 ATP System Competition. J. Autom. Reason. 23 (1) (1999)
Christian B. Suttner
SPS-Parallelism + SETHEO = SPTHEO. J. Autom. Reason. 22 (4) (1999)
Christian B. Suttner, Geoff Sutcliffe
The CADE-14 ATP System Competition. J. Autom. Reason. 21 (1) (1998)
Geoff Sutcliffe, Christian B. Suttner
The TPTP Problem Library - CNF Release v1.2.1. J. Autom. Reason. 21 (2) (1998)
Geoff Sutcliffe, Christian B. Suttner
The Results - of the CADE-13 ATP System Competition. J. Autom. Reason. 18 (2) (1997)
Geoff Sutcliffe, Christian B. Suttner
The CADE-13 ATP System Competition. J. Autom. Reason. 18 (2) (1997)
Christian B. Suttner
SPTHEO - A Parallel Theorem Prover. J. Autom. Reason. 18 (2) (1997)
Geoff Sutcliffe, Christian B. Suttner
The Procedures of the CADE-13 ATP System Competition. J. Autom. Reason. 18 (2) (1997)
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
Conclusions about the CADE-13 ATP System Competition. J. Autom. Reason. 18 (2) (1997)
Geoff Sutcliffe, Christian B. Suttner
The Design of the CADE-13 ATP System Competition. J. Autom. Reason. 18 (2) (1997)
Christian B. Suttner
SPTHEO - A PVM-Based Parallel Theorem Prover. PVM (1996)
Christian B. Suttner, Geoff Sutcliffe
The Design of the CADE-13 ATP System Competition. CADE (1996)
Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
The TPTP Problem Library. CADE (1994)
Eike Jessen, Wolfgang Ertel, Christian B. Suttner
Optimal Multiprogramming Control for Parallel Computations. Parallel Computer Architectures (1993)
Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis
The TPTP problem library Forschungsberichte, TU Munich (1993)
Christian B. Suttner
Parallel Computation of Multiple Sets-of_Support. LPAR (1992)
Christian B. Suttner
A Parallel Theorem Prover with Heuristic Work Distribution. Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Christian B. Suttner, Wolfgang Ertel
Using connectionist networks for guiding the search of a theorem prover Forschungsberichte, TU Munich (1990)
Christian B. Suttner
Representing Heuristic-Relevant Information for an Automated Theorem Prover. IMYCS (1990)
Wolfgang Ertel, Christian B. Suttner
Project PARIS: Parallelisation of Inference Systems. Dagstuhl Seminar on Parallelization in Inference Systems (1990)
Christian B. Suttner, Wolfgang Ertel
Automatic Acquisition of Search Guiding Heuristics. CADE (1990)
Christian B. Suttner, Wolfgang Ertel
Automatic acquisition of search guiding heuristics Forschungsberichte, TU Munich (1989)
Johann M. Ph. Schumann, Wolfgang Ertel, Christian B. Suttner
Learning heuristics for a theorem prover using back propagation Forschungsberichte, TU Munich (1989)
Wolfgang Ertel, Johann Schumann, Christian B. Suttner
Learning Heuristics for a Theorem Prover Using Back Propagation. ÖGAI (1989)

Christian B. Suttner.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Christian B. Suttner