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