The CADE-16 ATP System Competition

Authors:
Geoff Sutcliffe
Affiliations:
Department of Computer Science, James Cook University, Townsville, Australia. e-mail: geoff@cs.jcu.edu.au
Venue:
Journal of Automated Reasoning
Year:
2000

Citing 15
Cited 25

Automated deduction in von Neumann-Bernays-Go¨del set theory

Journal of Automated Reasoning
Automated Development of Fundamental Mathematical Theories

Automated Development of Fundamental Mathematical Theories
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
SETHEO and E-SETHEO - The CADE-13 Systems

Journal of Automated Reasoning
The TPTP Problem Library

Journal of Automated Reasoning
The CADE-15 ATP System Competition

Journal of Automated Reasoning
The CADE-16 ATP System Competition

Journal of Automated Reasoning
Strategy Parallelism in Automated Theorem Proving

Proceedings of the Eleventh International Florida Artificial Intelligence Research Society Conference
p-SETHEO: Strategy Parallelism in Automated Theorem Proving

TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
SPASS & FLOTTER Version 0.42

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

CADE-15 Proceedings of the 15th International Conference on Automated Deduction: Automated Deduction
Combining superposition, sorts and splitting

Handbook of automated reasoning

Evaluating general purpose automated theorem proving systems

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
Automated Proof Construction in Type Theory Using Resolution

Journal of Automated Reasoning
Partially Adaptive Code Trees

JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Adaptive Saturation-Based Reasoning

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Combination of Distributed Search and Multi-search in Peers-mcd.d

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Limited resource strategy in resolution theorem proving

Journal of Symbolic Computation - Special issue: First order theorem proving
On using ground joinable equations in equational theorem proving

Journal of Symbolic Computation - Special issue: First order theorem proving
The CADE-19 ATP system competition

AI Communications
The IJCAR-2004 automated theorem proving competition

AI Communications
The state of CASC

AI Communications
The CADE-20 automated theorem proving competition

AI Communications
The development of CASC

AI Communications - CASC
The CADE-19 ATP System Competition

AI Communications
The 3rd IJCAR Automated Theorem Proving Competition

AI Communications
The CADE-21 automated theorem proving system competition

AI Communications
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4

AI Communications
The CADE-22 automated theorem proving system competition - CASC-22

AI Communications
The 5th IJCAR automated theorem proving system competition - CASC-J5

AI Communications
On transfinite Knuth-Bendix orders

CADE'11 Proceedings of the 23rd international conference on Automated deduction
The CADE-23 Automated Theorem Proving System Competition - CASC-23

AI Communications
The 6th IJCAR automated theorem proving system competition --CASC-J6

AI Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

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