The CADE-26 automated theorem proving system competition - CASC-26

Sutcliffe, G

Sutcliffe, G (reprint author), Univ Miami, Dept Comp Sci, Coral Gables, FL 33124 USA.

AI COMMUNICATIONS, 2017; 30 (6): 419

Abstract

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-26 w......

Full Text Link


Links

期刊讨论 | 中国SCI论文 | 期刊主页 | 投稿经验 | 杂志官网 | 投稿链接 | 作者需知 | PMC链接 | Pubmed全文检索