The CADE-22 automated theorem proving system competition – CASC-22

DOI10.3233/AIC-2010-0469zbMath1200.68220MaRDI QIDQ3561621

Geoff Sutcliffe

Publication date: 25 May 2010

Published in: AI Communications (Search for Journal in Brave)

zbMATH Keywords

competitionautomated theorem proving

Mathematics Subject Classification ID

Related Items

MaLeS: a framework for automatic tuning of automated theorem provers, Specifying and Verifying Organizational Security Properties in First-Order Logic, The Matita Interactive Theorem Prover, Sine Qua Non for Large Theory Reasoning, SMELS: satisfiability modulo equality with lazy superposition

Uses Software

• TPS
• TPTP
• Metis_
• Matita