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

Authors:
Geoff Sutcliffe
Affiliations:
Department of Computer Science, University of Miami, Coral Gables, FL, USA. E-mail: geoff@cs.miami.edu
Venue:
AI Communications
Year:
2010

Citing 15
Cited 7

Evaluating general purpose automated theorem proving systems

Artificial Intelligence
The CADE-16 ATP System Competition

Journal of Automated Reasoning
SPASS & FLOTTER Version 0.42

CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
The state of CASC

AI Communications
MPTP 0.2: Design, Implementation, and Initial Experiments

Journal of Automated Reasoning
The design and implementation of VAMPIRE

AI Communications - CASC
E - a brainiac theorem prover

AI Communications - CASC
User Interaction with the Matita Proof Assistant

Journal of Automated Reasoning
The CADE-21 automated theorem proving system competition

AI Communications
New results on rewrite-based satisfiability procedures

ACM Transactions on Computational Logic (TOCL)
The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4

AI Communications
The TPTP Problem Library and Associated Infrastructure

Journal of Automated Reasoning
Isabelle/HOL: a proof assistant for higher-order logic

Isabelle/HOL: a proof assistant for higher-order logic
Using the TPTP language for writing derivations and finite interpretations

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Geometric resolution: a proof procedure based on finite model search

IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning

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

AI Communications
The Matita interactive theorem prover

CADE'11 Proceedings of the 23rd international conference on Automated deduction
Sine Qua non for large theory reasoning

CADE'11 Proceedings of the 23rd international conference on Automated deduction
EDACC - an advanced platform for the experiment design, administration and analysis of empirical algorithms

LION'05 Proceedings of the 5th international conference on Learning and Intelligent Optimization
A natural language question answering system as a participant in human Q&A portals

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
Machine learning approach to enhance the design of automated theorem provers

ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part II
SMELS: Satisfiability Modulo Equality with Lazy Superposition

Journal of Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-22 was the fourteenth competition in the CASC series. Twenty-nine ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.