Learning heuristics for a theorem prover using back propagation - Johann M. Ph. Schumann; Wolfgang Ertel; Christian B. Suttner (Forschungsberichte, TU Munich, 1989)

Automatic acquisition of search guiding heuristics - Christian B. Suttner; Wolfgang Ertel (Forschungsberichte, TU Munich, 1989)

Project PARIS: Parallelisation of Inference Systems. - Wolfgang Ertel; Christian B. Suttner (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

A Parallel Theorem Prover with Heuristic Work Distribution. - Christian B. Suttner (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

Representing Heuristic-Relevant Information for an Automated Theorem Prover. - Christian B. Suttner (IMYCS, 1990)

Using connectionist networks for guiding the search of a theorem prover - Christian B. Suttner; Wolfgang Ertel (Forschungsberichte, TU Munich, 1990)

Parallel Computation of Multiple Sets-of_Support. - Christian B. Suttner (LPAR, 1992)

Optimal Multiprogramming Control for Parallel Computations. - Eike Jessen; Wolfgang Ertel; Christian B. Suttner (Parallel Computer Architectures, 1993)

The TPTP problem library - Christian B. Suttner; Geoff Sutcliffe; Theodor Yemenis (Forschungsberichte, TU Munich, 1993)

Parallelization of search-based systems by static partitioning with slackness. - Christian B. Suttner (Infix, 1995)

SPTHEO - A PVM-Based Parallel Theorem Prover. - Christian B. Suttner (PVM, 1996)

Static partitioning with slackness. - Christian B. Suttner (Parallel Processing for Artificial Intelligence 3, 1997)

Conclusions about the CADE-13 ATP System Competition. - Francis Jeffry Pelletier; Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1997)

The CADE-13 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1997)

The Design of the CADE-13 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1997)

The Procedures of the CADE-13 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1997)

The Results - of the CADE-13 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1997)

SPTHEO - A Parallel Theorem Prover. - Christian B. Suttner (J. Autom. Reason., 1997)

The TPTP Problem Library - CNF Release v1.2.1. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1998)

The CADE-14 ATP System Competition. - Christian B. Suttner; Geoff Sutcliffe (J. Autom. Reason., 1998)

The CADE-15 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 1999)

SPS-Parallelism + SETHEO = SPTHEO. - Christian B. Suttner (J. Autom. Reason., 1999)

Evaluating general purpose automated theorem proving systems. - Geoff Sutcliffe; Christian B. Suttner (Artif. Intell., 2001)

The development of CASC. - Francis Jeffry Pelletier; Geoff Sutcliffe; Christian B. Suttner (AI Commun., 2002)

The IJCAR ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner; Francis Jeffry Pelletier (J. Autom. Reason., 2002)

The CADE-18 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (J. Autom. Reason., 2003)

The CADE ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (IJCAR, 2004)

The CADE-19 ATP System Competition. - Geoff Sutcliffe; Christian B. Suttner (AI Commun., 2004)

The state of CASC. - Geoff Sutcliffe; Christian B. Suttner (AI Commun., 2006)

An Empirical Assessment of Progress in Automated Theorem Proving. - Geoff Sutcliffe; Christian B. Suttner; Lars Kotthoff; C. Raymond Perrault; Zain Khalid (IJCAR (1), 2024)