7 search results - page 1 / 2 » The IJCAR-2004 Automated Theorem Proving Competition |
78
Voted
AICOM
2005
14 years 10 months ago
2005
CADE
2009
Springer
15 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...
66
Voted
AICOM
2006
14 years 10 months ago
2006
CADE
2004
Springer
15 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
15 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...