Christian B. Suttner

36 papers A 5B 1Journal 20Unranked 7
YearRankTypeTitle / Venue / Authors
2024 — conf
An Empirical Assessment of Progress in Automated Theorem Proving.
IJCAR (1)
Geoff Sutcliffe, Christian B. Suttner, Lars Kotthoff, C. Raymond Perrault, Zain Khalid
2006 J jnl
The state of CASC.
AI Commun.
Geoff Sutcliffe, Christian B. Suttner
2004 A conf
The CADE ATP System Competition.
IJCAR
Geoff Sutcliffe, Christian B. Suttner
2004 J jnl
The CADE-19 ATP System Competition.
AI Commun.
Geoff Sutcliffe, Christian B. Suttner
2003 J jnl
The CADE-18 ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
2003 A conf
The CADE-19 ATP System Competition.
CADE
Geoff Sutcliffe, Christian B. Suttner
2002 J jnl
The IJCAR ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner, Francis Jeffry Pelletier
2002 J jnl
The development of CASC.
AI Commun.
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
2001 J jnl
Evaluating general purpose automated theorem proving systems.
Artif. Intell.
Geoff Sutcliffe, Christian B. Suttner
1999 J jnl
SPS-Parallelism + SETHEO = SPTHEO.
J. Autom. Reason.
Christian B. Suttner
1999 J jnl
The CADE-15 ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
1998 J jnl
The CADE-14 ATP System Competition.
J. Autom. Reason.
Christian B. Suttner, Geoff Sutcliffe
1998 J jnl
The TPTP Problem Library - CNF Release v1.2.1.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
1997 J jnl
Conclusions about the CADE-13 ATP System Competition.
J. Autom. Reason.
Francis Jeffry Pelletier, Geoff Sutcliffe, Christian B. Suttner
1997 — book
Parallel Processing for Artificial Intelligence 3
James Geller, Hiroaki Kitano, Christian B. Suttner
1997 J jnl
SPTHEO - A Parallel Theorem Prover.
J. Autom. Reason.
Christian B. Suttner
1997 — ch.
Static partitioning with slackness.
Parallel Processing for Artificial Intelligence 3
Christian B. Suttner
1997 J jnl
The CADE-13 ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
1997 J jnl
The Design of the CADE-13 ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
1997 J jnl
The Procedures of the CADE-13 ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
1997 J jnl
The Results - of the CADE-13 ATP System Competition.
J. Autom. Reason.
Geoff Sutcliffe, Christian B. Suttner
1996 — conf
SPTHEO - A PVM-Based Parallel Theorem Prover.
PVM
Christian B. Suttner
1996 A conf
The Design of the CADE-13 ATP System Competition.
CADE
Christian B. Suttner, Geoff Sutcliffe
1995 — —
Parallelization of search-based systems by static partitioning with slackness.
Christian B. Suttner
1994 A conf
The TPTP Problem Library.
CADE
Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis
1993 — conf
Optimal Multiprogramming Control for Parallel Computations.
Parallel Computer Architectures
Eike Jessen, Wolfgang Ertel, Christian B. Suttner
1993 J jnl
The TPTP problem library
Forschungsberichte, TU Munich
Christian B. Suttner, Geoff Sutcliffe, Theodor Yemenis
1992 B conf
Parallel Computation of Multiple Sets-of_Support.
LPAR
Christian B. Suttner
1990 — conf
A Parallel Theorem Prover with Heuristic Work Distribution.
Dagstuhl Seminar on Parallelization in Inference Systems
Christian B. Suttner
1990 A conf
Automatic Acquisition of Search Guiding Heuristics.
CADE
Christian B. Suttner, Wolfgang Ertel
1990 — conf
Project PARIS: Parallelisation of Inference Systems.
Dagstuhl Seminar on Parallelization in Inference Systems
Wolfgang Ertel, Christian B. Suttner
1990 — conf
Representing Heuristic-Relevant Information for an Automated Theorem Prover.
IMYCS
Christian B. Suttner
1990 J jnl
Using connectionist networks for guiding the search of a theorem prover
Forschungsberichte, TU Munich
Christian B. Suttner, Wolfgang Ertel
1989 J jnl
Automatic acquisition of search guiding heuristics
Forschungsberichte, TU Munich
Christian B. Suttner, Wolfgang Ertel
1989 — conf
Learning Heuristics for a Theorem Prover Using Back Propagation.
ÖGAI
Wolfgang Ertel, Johann Schumann, Christian B. Suttner
1989 J jnl
Learning heuristics for a theorem prover using back propagation
Forschungsberichte, TU Munich
Johann M. Ph. Schumann, Wolfgang Ertel, Christian B. Suttner