CADE ATP System Competition

Content sourced from Wikipedia, licensed under CC BY-SA 3.0.

The CADE ATP System Competition (CASC) is an annual event that compares fully automated theorem provers for classical logic. It is linked to the Conference on Automated Deduction (CADE) and the International Joint Conference on Automated Reasoning, organized by the Association for Automated Reasoning. CASC has inspired other competitions in related areas, such as SMT-COMP for satisfiability modulo theories, the SAT Competition for propositional reasoning, and a modal logic reasoning contest. The first CASC, CASC-13, was held during the 13th Conference on Automated Deduction at Rutgers University, New Brunswick, NJ, in 1996. Early participants included Otter and SETHEO.