7 search results - page 1 / 2 » The CADE-20 Automated Theorem Proving Competition |
AICOM
2006
13 years 10 months ago
2006
CADE
2009
Springer
14 years 11 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...
AICOM
2005
13 years 10 months ago
2005
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...
TPHOL
2005
IEEE
14 years 4 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...