Sign in
Back
The CADE-28 Automated Theorem Proving System Competition - CASC-28
Journal article   Open access  Peer reviewed

The CADE-28 Automated Theorem Proving System Competition - CASC-28

Geoff Sutcliffe and Martin Desharnais
Ai communications, Vol.34(4), pp.259-276
2021-01-01
DOI: https://doi.org/10.3233/AIC-210235

Abstract

Computer Science Computer Science, Artificial Intelligence Science & Technology Technology
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-28 was the twenty-sixth competition in the CASC series. Twenty-two ATP systems competed in the various competition divisions. This paper presents an outline of the competition design and a commentated summary of the results.
url
https://doi.org/10.3233/AIC-210235View
Published (Version of record) Open

Metrics

2 Record Views
2 Times Cited - Web of Science

InCites Highlights

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types
Domestic collaboration
International collaboration
Citation topics
4 Electrical Engineering, Electronics & Computer Science
4.47 Software Engineering
4.47.281 Abstract Interpretation
Web Of Science research areas
Computer Science, Artificial Intelligence
ESI research areas
Engineering

UN Sustainable Development Goals (SDGs)

This output has contributed to the advancement of the following goals:

undefined

Source: InCites

Details