CADE ATP System Competition
Encyclopedia
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers
for classical first order logic. CASC is associated with the Conference on Automated Deduction
and the International Joint Conference on Automated Reasoning
organized by the Association for Automated Reasoning
.
The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University
, New Brunswick, NJ, in 1996.
Automated theorem proving
Automated theorem proving or automated deduction, currently the most well-developed subfield of automated reasoning , is the proving of mathematical theorems by a computer program.- Decidability of the problem :...
for classical first order logic. CASC is associated with the Conference on Automated Deduction
Conference on Automated Deduction
The Conference on Automated Deduction is the premier academic conference on automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE meetings have been held in Europe and the USA. However, conferences have been held all...
and the International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning
International Joint Conference on Automated Reasoning is a series of conferences on the topics of automated reasoning, automated deduction, and related fields. It is organized semi-regularly as a merger of other meetings. IJCAR replaces those independent conferences in the years it takes place...
organized by the Association for Automated Reasoning
Association for Automated Reasoning
The Association for Automated Reasoning is a non-profit corporation that serves as an association of researchers working on automated theorem proving, automated reasoning, and related fields. It organizes the CADE and IJCAR conferences and publishes a roughly quarterly newsletter....
.
The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at Rutgers University
Rutgers University
Rutgers, The State University of New Jersey , is the largest institution for higher education in New Jersey, United States. It was originally chartered as Queen's College in 1766. It is the eighth-oldest college in the United States and one of the nine Colonial colleges founded before the American...
, New Brunswick, NJ, in 1996.