Christian B. Suttner

According to our database1, Christian B. Suttner authored at least 29 papers between 1989 and 2006.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2006
The state of CASC.
AI Commun., 2006

2004
The CADE-19 ATP System Competition.
AI Commun., 2004

The CADE ATP System Competition.
Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003
The CADE-18 ATP System Competition.
J. Autom. Reason., 2003

2002
The IJCAR ATP System Competition.
J. Autom. Reason., 2002

The development of CASC.
AI Commun., 2002

2001
Evaluating general purpose automated theorem proving systems.
Artif. Intell., 2001

1999
SPS-Parallelism + SETHEO = SPTHEO.
J. Autom. Reason., 1999

The CADE-15 ATP System Competition.
J. Autom. Reason., 1999

1998
The CADE-14 ATP System Competition.
J. Autom. Reason., 1998

The TPTP Problem Library - CNF Release v1.2.1.
J. Autom. Reason., 1998

1997
SPTHEO - A Parallel Theorem Prover.
J. Autom. Reason., 1997

The Results - of the CADE-13 ATP System Competition.
J. Autom. Reason., 1997

The Procedures of the CADE-13 ATP System Competition.
J. Autom. Reason., 1997

The Design of the CADE-13 ATP System Competition.
J. Autom. Reason., 1997

The CADE-13 ATP System Competition.
J. Autom. Reason., 1997

Conclusions about the CADE-13 ATP System Competition.
J. Autom. Reason., 1997

Static partitioning with slackness.
Proceedings of the Parallel Processing for Artificial Intelligence 3, 1997

1996
SPTHEO - A PVM-Based Parallel Theorem Prover.
Proceedings of the Parallel Virtual Machine, 1996

1995
Parallelization of search-based systems by static partitioning with slackness.
PhD thesis, 1995

1993
The TPTP problem library
Forschungsberichte, TU Munich, 1993

Optimal Multiprogramming Control for Parallel Computations.
Proceedings of the Parallel Computer Architectures: Theory, 1993

1992
Parallel Computation of Multiple Sets-of_Support.
Proceedings of the Logic Programming and Automated Reasoning, 1992

1990
Using connectionist networks for guiding the search of a theorem prover
Forschungsberichte, TU Munich, 1990

Representing Heuristic-Relevant Information for an Automated Theorem Prover.
Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

A Parallel Theorem Prover with Heuristic Work Distribution.
Proceedings of the Parallelization in Inference Systems, 1990

Project PARIS: Parallelisation of Inference Systems.
Proceedings of the Parallelization in Inference Systems, 1990

1989
Automatic acquisition of search guiding heuristics
Forschungsberichte, TU Munich, 1989

Learning heuristics for a theorem prover using back propagation
Forschungsberichte, TU Munich, 1989


  Loading...