Abstract
The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.
Original language | English (US) |
---|---|
Pages (from-to) | 287-296 |
Number of pages | 10 |
Journal | Journal of Automated Reasoning |
Volume | 18 |
Issue number | 2 |
DOIs | |
State | Published - 1997 |
Externally published | Yes |
Keywords
- Automated theorem proving
- Competition
- Conclusions
ASJC Scopus subject areas
- Software
- Computational Theory and Mathematics
- Artificial Intelligence