# The CADE-15 ATP System Competition

@article{Sutcliffe2004TheCA, title={The CADE-15 ATP System Competition}, author={Geoff Sutcliffe and Christian B. Suttner}, journal={Journal of Automated Reasoning}, year={2004}, volume={23}, pages={1-23} }

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

## 31 Citations

The IJCAR ATP System Competition

- BusinessJournal of Automated Reasoning
- 2004

The results of the IJCAR ATP System Competition are presented.

The CADE ATP System Competition

- Computer ScienceIJCAR
- 2004

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-19 was the eighth competition in the CASC series.…

The CADE-18 ATP System Competition (CASC-18)

- Computer Science
- 2002

In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the CADE-18 ATP System Competition (CASC-18) will be held on 28th July 2002. CASC evaluates the…

The CADE-19 ATP System Competition (CASC-19)

- Computer Science
- 2003

In order to stimulate ATP system development, and to expose ATP systems to interested researchers, the CADE-19 ATP System Competition (CASC-19) will be held on 31st July 2003. CASC evaluates the…

Proceedings of CASC-26 – the CADE-26 ATP System Competition

- Computer Science
- 2017

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library and other useful sources of test problems, and specified time limits on solution attempts.

The CADE-22 ATP System Competition (CASC-22)

- Computer Science
- 2009

The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and a specified time limit for each solution attempt.

Proceedings of the CADE-25 ATP System Competition CASC-25

- Computer Science
- 2015

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts.

Proceedings of the CADE-23 ATP System Competition CASC-23

- Computer Science
- 2011

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts.

Proceedings of the CADE-24 ATP System Competition CASC-24

- Computer Science
- 2013

The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems in the context of a bounded number of eligible problems chosen from the TPTP problem library, and specified time limits on solution attempts.

CASC-J4 The 4th IJCAR ATP System Competition

- Computer ScienceIJCAR
- 2008

CASC-J4 was held on 13th August 2008, as part of the 4th International Joint Conference on Automated Reasoning, in Sydney, Australia, and was the thirteenth competition in the CASC series.

## References

SHOWING 1-10 OF 147 REFERENCES

The CADE-14 ATP System Competition

- EconomicsJournal of Automated Reasoning
- 2004

This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

The IJCAR ATP System Competition

- BusinessJournal of Automated Reasoning
- 2004

The results of the IJCAR ATP System Competition are presented.

The Results - of the CADE-13 ATP System Competition

- MathematicsJournal of Automated Reasoning
- 2004

The CADE-13 ATP System Competition tested 18 ATP systems on 50 theorems, in five competition categories, with a time limit of 300 seconds imposed on each system run, and some analysis of these results is given.

Conclusions about the CADE-13 ATP System Competition

- Political ScienceJournal of Automated Reasoning
- 2004

The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems, and an overview of the major issues that will affect future competitions is given.

The Procedures of the CADE-13 ATP System Competition

- Computer ScienceJournal of Automated Reasoning
- 2004

The article describes the hardware and software environments, the system installation, the soundness testing performed, the preparation of problems for the competition, the choice of the number of problems and the time limit, and the execution of the systems.

The CADE-19 ATP System Competition

- BusinessAI Commun.
- 2003

The CADE ATP System Competition is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems to stimulate ATP research in general, and to motivate implementation and fixing of systems.

The Design of the CADE-13 ATP System Competition

- BusinessJournal of Automated Reasoning
- 2004

The motivations for running the CADE-13 ATP System Competition were to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to researchers both within and outside the ATP community.

The CADE-20 Automated Theorem Proving Competition

- Computer ScienceAI Commun.
- 2006

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-20 was the tenth competition in the CASC series. Seventeen ATP…

The IJCAR-2004 Automated Theorem Proving Competition

- Computer ScienceAI Commun.
- 2005

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems - the world championship for such systems. CASC-J2 was the ninth…

Otter - The CADE-13 Competition Incarnations

- PhilosophyJournal of Automated Reasoning
- 2004

The two incarnations of Otter entered in the CADE-13 Automated Theorem Proving System Competition are discussed, with some historical background and a summary of applications that have led to new results in mathematics and logic.