BibTeX
@MISC{Sutcliffe_1the,
author = {Geoff Sutcliffe},
title = {1 The CADE-20 Automated Theorem Proving Competition},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving systems. CASC-20 was the tenth competition in the CASC series. Seventeen ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.
