7 search results - page 1 / 2 » The CADE-20 Automated Theorem Proving Competition |
79
Voted
AICOM
2006
15 years 1 months ago
2006
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...
95
Voted
AICOM
2005
15 years 1 months ago
2005
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...
108
Voted
TPHOL
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract. We present a set of problems that may support the development of calculi and theorem provers for classical higher-order logic. We propose to employ these test problems as...