Chaff: engineering an efficient SAT solver
Proceedings of the 38th annual Design Automation Conference
Journal of Automated Reasoning
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The CADE-18 ATP System Competition
Journal of Automated Reasoning
The design and implementation of VAMPIRE
AI Communications - CASC
The IJCAR-2004 automated theorem proving competition
AI Communications
AI Communications
Hi-index | 0.00 |
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-19 was the eighth competition in the CASC series. Twenty-five ATP system variants competed in the various competition and demonstration divisions. An outline of the design and a commentated summary of the results are presented.