The IJCAR ATP system competition

G. Sutcliffe, C. B. Suttner, F. J. Pelletier

Research output: Contribution to journalArticlepeer-review

10 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)307-320
Number of pages14
JournalJournal of Automated Reasoning
Issue number3
StatePublished - Apr 1 2002

ASJC Scopus subject areas

  • Software
  • Computational Theory and Mathematics
  • Artificial Intelligence


Dive into the research topics of 'The IJCAR ATP system competition'. Together they form a unique fingerprint.

Cite this