16 search results - page 1 / 4 » The CADE ATP System Competition |
89
Voted
CADE
2004
Springer
16 years 1 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
16 years 1 months ago
2003
Springer
95
Voted
TABLEAUX
2000
Springer
15 years 4 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...
102
Voted
CADE
2009
Springer
16 years 1 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...
98
Voted
JAR
2002
15 years 23 days ago
2002
The results of the IJCAR ATP System Competition are presented.