CASC-J3 the 3rd IJCAR ATP system competition

Authors:
Geoff Sutcliffe
Affiliations:
Department of Computer Science, University of Miami
Venue:
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Year:
2006

Citing 2
Cited 1

The state of CASC

AI Communications
SMT-COMP: satisfiability modulo theories competition

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Zenon: an extensible automated theorem prover producing checkable proofs

LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems – the world championship for such systems. CASC-J3 was held on 18th August 2006, as part of the 3rd International Joint Conference on Automated Reasoning, in Seattle, Washington. It was the eleventh competition in the CASC series.