The CADE ATP System Competition (CASC) is a yearly competition of fully
automated theorem provers
Automated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a maj ...
for
classical 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 Association for Automated Reasoning (AAR) 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 p ...
. It has inspired similar competition in related fields, in particular the successful SMT-COMP competition for
Satisfiability Modulo Theories
In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable. It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involvin ...
, the SAT Competition for propositional reasoners, and the modal logic reasoning competition.
The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at
Rutgers University
Rutgers University (; RU), officially Rutgers, The State University of New Jersey, is a public land-grant research university consisting of four campuses in New Jersey. Chartered in 1766, Rutgers was originally called Queen's College, and wa ...
, New Brunswick, NJ, in 1996.
Among the systems competing were
Otter and
SETHEO.
See also
*
List of computer science awards
This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, other comput ...
References
External links
Archive of original CASC websiteCASC Website
Computer science competitions
{{Comp-sci-stub