Christian B. Suttner

AI Commun., 2006

2004

The CADE-19 ATP System Competition.

[BibT_eX]

[DOI]

AI Commun., 2004

The CADE ATP System Competition.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

The CADE-18 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 2003

2002

The IJCAR ATP System Competition.

[BibT_eX]

[DOI]

Francis Jeffry Pelletier

J. Autom. Reason., 2002

The development of CASC.

[BibT_eX]

[DOI]

Francis Jeffry Pelletier

AI Commun., 2002

2001

Evaluating general purpose automated theorem proving systems.

[BibT_eX]

[DOI]

Artif. Intell., 2001

1999

SPS-Parallelism + SETHEO = SPTHEO.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

The CADE-15 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1999

1998

The CADE-14 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

The TPTP Problem Library - CNF Release v1.2.1.

[BibT_eX]

[DOI]

J. Autom. Reason., 1998

1997

SPTHEO - A Parallel Theorem Prover.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The Results - of the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The Procedures of the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The Design of the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

The CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

J. Autom. Reason., 1997

Conclusions about the CADE-13 ATP System Competition.

[BibT_eX]

[DOI]

Francis Jeffry Pelletier

J. Autom. Reason., 1997

Static partitioning with slackness.

[BibT_eX]

[DOI]

Proceedings of the Parallel Processing for Artificial Intelligence 3, 1997

1996

SPTHEO - A PVM-Based Parallel Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Parallel Virtual Machine, 1996

1995

Parallelization of search-based systems by static partitioning with slackness.

[BibT_eX]

[DOI]

PhD thesis, 1995

1993

The TPTP problem library

[BibT_eX]

[DOI]

Theodor Yemenis

Forschungsberichte, TU Munich, 1993

Optimal Multiprogramming Control for Parallel Computations.

[BibT_eX]

[DOI]

Eike Jessen

Proceedings of the Parallel Computer Architectures: Theory, 1993

1992

Parallel Computation of Multiple Sets-of_Support.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

1990

Using connectionist networks for guiding the search of a theorem prover

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1990

Representing Heuristic-Relevant Information for an Automated Theorem Prover.

[BibT_eX]

[DOI]

Proceedings of the Aspects and Prospects of Theoretical Computer Science, 1990

A Parallel Theorem Prover with Heuristic Work Distribution.

[BibT_eX]

[DOI]

Proceedings of the Parallelization in Inference Systems, 1990

Project PARIS: Parallelisation of Inference Systems.

[BibT_eX]

Proceedings of the Parallelization in Inference Systems, 1990

1989

Automatic acquisition of search guiding heuristics

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1989

Learning heuristics for a theorem prover using back propagation

[BibT_eX]

[DOI]

Johann M. Ph. Schumann