The IJCAR ATP System Competition (CASC-JC) was the sixth large-scale competition for first-order ATP systems. As such, a positive aspect of CASC-JC was shown by the level of enthusiasm and interest from both entrants and observers. The entrants made significant efforts to meet the requirements imposed by the competition design, and as a result the system were more robust and usable than in the past.
ASJC Scopus subject areas
- Computational Theory and Mathematics
- Artificial Intelligence