1999 | OriginalPaper | Buchkapitel
The Design of the CADE-16 Inductive Theorem Prover Contest
verfasst von : Dieter Hutter, Alan Bundy
Erschienen in: Automated Deduction — CADE-16
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
It has become a tradition at CADE to run a competition for first-order automated theorem provers based on the TPTP problem library. This competition (CASC) [SuSu96] aims at fully automatic ATP systems and provides various categories dedicated to diffirent problem classes of rst-order logic. The number of problems solved and the runtime is used to assess the winners in the individual categories of the competition.