TY - GEN
T1 - The design of the CADE-13 ATP system competition
AU - Suttner, Christian B.
AU - Sutcliffe, Geoff
PY - 1996/1/1
Y1 - 1996/1/1
N2 - Running a competition for Automated Theorem Proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP system competition are to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to interested researchers both within and outside the ATP community. This paper identifies and discusses the issues that determine the nature of the competition. Choices and motivated decisions, with respect to the issues, are given.
AB - Running a competition for Automated Theorem Proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP system competition are to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to interested researchers both within and outside the ATP community. This paper identifies and discusses the issues that determine the nature of the competition. Choices and motivated decisions, with respect to the issues, are given.
UR - http://www.scopus.com/inward/record.url?scp=0013212232&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0013212232&partnerID=8YFLogxK
U2 - 10.1007/3-540-61511-3_76
DO - 10.1007/3-540-61511-3_76
M3 - Conference contribution
AN - SCOPUS:0013212232
SN - 3540615113
SN - 9783540615118
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 146
EP - 160
BT - Automated Deduction – Cade-13 - 13th International Conference on Automated Deduction, Proceedings
A2 - Slaney, John K.
A2 - McRobbie, Michael A.
PB - Springer Verlag
T2 - 13th International Conference on Automated Deduction, CADE 1996
Y2 - 30 July 1996 through 3 August 1996
ER -