16 search results - page 1 / 4 » The CADE ATP System Competition |
CADE
2004
Springer
14 years 4 months ago
2004
Springer
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving systems. CASC-18 was the seventh competition in the CASC se...
CADE
2003
Springer
14 years 4 months ago
2003
Springer
TABLEAUX
2000
Springer
13 years 8 months ago
2000
Springer
The aim of the TABLEAUX-2000 Non-Classical (Modal) System Comparisons (TANCS-2000) is to provide a set of benchmarks and a standardized methodology for the assessment and compariso...
CADE
2009
Springer
14 years 5 months ago
2009
Springer
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
JAR
2002
13 years 4 months ago
2002
The results of the IJCAR ATP System Competition are presented.