7 search results - page 1 / 2 » The IJCAR ATP System Competition |
98
Voted
JAR
2002
15 years 23 days ago
2002
The results of the IJCAR ATP System Competition are presented.
CADE
2003
Springer
16 years 1 months ago
2003
Springer
90
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...
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...
158
Voted
LPAR
2012
Springer
13 years 8 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...