Skip to search formSkip to main contentSkip to account menu

CADE ATP System Competition

Known as: CASC 
The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Association for Automated ReasoningAutomated theorem provingCompetitions and prizes in artificial intelligenceConference on Automated Deduction

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2017
Review
2017
The TPTP Problem Library and Associated Infrastructure
This paper describes the TPTP problem library and associated infrastructure, from its use of Clause Normal Form (CNF), via the… 
Highly Cited
2016
Highly Cited
2016
The CADE ATP System Competition - CASC
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic automated theorem proving (ATP) systems for… 
Highly Cited
2012
Highly Cited
2012
Satallax: An Automatic Higher-Order Prover
Satallax is an automatic higher-order theorem prover that generates propositional clauses encoding (ground) tableau rules and… 
Highly Cited
2011
Highly Cited
2011
Sine Qua Non for Large Theory Reasoning
One possible way to deal with large theories is to have a good selection method for relevant axioms. This is confirmed by the… 
Highly Cited
2004
Highly Cited
2004
Modeling and simulation of high temperature resistive superconducting fault current limiters
In order to introduce the high temperature superconducting fault-current limiters (SFCL) into electric power systems, we need a… 
2003
2003
The CADE-18 ATP System Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order automated theorem-proving (ATP… 
2003
2003
The CADE-19 ATP System Competition
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP… 
Highly Cited
2001
Highly Cited
2001
A New Fault Locator for Three-Terminal Transmission Lines Using Two Terminal Synchronized Voltage and Current Phasors
With the advent of the high synchronization accuracy of modern phasor measurement units (PMUs), a new approach for accurately… 
1999
1999
The CADE-15 ATP System Competition
The results of the CADE-15 ATP System Competition (CASC-15) are presented. 
Highly Cited
1998
Highly Cited
1998
Cotranslational Biogenesis of NF-κB p50 by the 26S Proteasome
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)