The CADE-15 ATP System Competition

Authors:
G. Sutcliffe;C. B. Suttner
Affiliations:
Department of Computer Science, James Cook University, Townsville, Australia. e-mail: geoff@cs.jcu.edu.au;Institut für Informatik, TU München, München, Germany. e-mail: suttner@informatik.tu-muenchen.de
Venue:
Journal of Automated Reasoning
Year:
1999

Citing 16
Cited 10

Resolution Methods for the Decision Problem

Resolution Methods for the Decision Problem
The CADE-14 ATP System Competition

Journal of Automated Reasoning
The CADE-13 ATP System Competition

Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition

Journal of Automated Reasoning
The Procedures of the CADE-13 ATP System Competition

Journal of Automated Reasoning
Gandalf

Journal of Automated Reasoning
SPASS - Version 0.49

Journal of Automated Reasoning
WALDMEISTER - High-Performance Equational Deduction

Journal of Automated Reasoning
The TPTP Problem Library

Journal of Automated Reasoning
Optimized Encodings of Fragments of Type Theory in First Order Logic

TYPES '95 Selected papers from the International Workshop on Types for Proofs and Programs
SCOTT: Semantically Constrained Otter System Description

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
A Resolution Theorem Prover for Intuitonistic Logic

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
Soft Typing for Ordered Resolution

CADE-14 Proceedings of the 14th International Conference on Automated Deduction
On Generating Small Clause Normal Forms

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Towards Efficient Subsumption

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
ACL2 Support for Verification Projects (Invited Talk)

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction

Evaluating general purpose automated theorem proving systems

Artificial Intelligence
Deep Blue's contribution to AI

Annals of Mathematics and Artificial Intelligence
The CADE-16 ATP System Competition

Journal of Automated Reasoning
The CADE-17 ATP System Competition

Journal of Automated Reasoning
The IJCAR ATP System Competition

Journal of Automated Reasoning
Combining superposition, sorts and splitting

Handbook of automated reasoning
The state of CASC

AI Communications
The development of CASC

AI Communications - CASC
TPTP, CASC and the development of a semantically guided theorem prover

AI Communications - CASC
Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The results of the CADE-15 ATP System Competition (CASC-15) are presented.