7 search results - page 1 / 2 » The CADE-19 ATP System Competition |
CADE
2003
Springer
14 years 11 months ago
2003
Springer
JAR
2002
13 years 10 months ago
2002
The results of the IJCAR ATP System Competition are presented.
TABLEAUX
2000
Springer
14 years 2 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
2004
Springer
14 years 11 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...
LPAR
2012
Springer
12 years 6 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...