The CADE ATP System Competition (CASC) is a yearly competition of fully
automated theorem provers for
classical logic
Classical logic (or standard logic or Frege-Russell logic) is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.
Characteristics
Each logical system in this class ...
CASC is associated with the
Conference on Automated Deduction The Conference on Automated Deduction (CADE) is the premier academic conference on Automated theorem proving, automated deduction and related fields. The first CADE was organized in 1974 at the Argonne National Laboratory near Chicago. Most CADE mee ...
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 ...
. 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 involvi ...
, 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 was ...
, New Brunswick, NJ, in 1996.
Among the systems competing were
Otter
Otters are carnivorous mammals in the subfamily Lutrinae. The 13 extant otter species are all semiaquatic, aquatic, or marine, with diets based on fish and invertebrates. Lutrinae is a branch of the Mustelidae family, which also includes we ...
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