CADE ATP System Competition

The CADE ATP System Competition (CASC) is a yearly competition of fully automated theorem provers for classical first order logic. CASC is associated… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

2001-2017
012320012017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The… (More)
Is this relevant?
2016
2016
 
Is this relevant?
2015
2015
  • Geo↵ Sutcli↵e
  • 2015
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The… (More)
Is this relevant?
2014
2014
  • Geo↵ Sutcli↵e
  • 2014
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The… (More)
Is this relevant?
2012
2012
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The… (More)
Is this relevant?
2011
2011
The CADE ATP System Competition (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The… (More)
Is this relevant?
2011
2011
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
Review
2006
Review
2006
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2003
2003
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?