16 search results - page 1 / 4 » The CADE ATP System Competition |
69
Voted
CADE
2004
Springer
15 years 10 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
15 years 10 months ago
2003
Springer
TABLEAUX
2000
Springer
15 years 1 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...
76
Voted
CADE
2009
Springer
15 years 10 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
14 years 9 months ago
2002
The results of the IJCAR ATP System Competition are presented.