Resolution Methods for the Decision Problem
Resolution Methods for the Decision Problem
The CADE-14 ATP System Competition
Journal of Automated Reasoning
The CADE-13 ATP System Competition
Journal of Automated Reasoning
The Design of the CADE-13 ATP System Competition
Journal of Automated Reasoning
The Procedures of the CADE-13 ATP System Competition
Journal of Automated Reasoning
Journal of Automated Reasoning
SETHEO and E-SETHEO - The CADE-13 Systems
Journal of Automated Reasoning
Journal of Automated Reasoning
The CADE-15 ATP System Competition
Journal of Automated Reasoning
The CADE-16 ATP System Competition
Journal of Automated Reasoning
The CADE-17 ATP System Competition
Journal of Automated Reasoning
Smart Selective Competition Parallelism ATP
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference
p-SETHEO: Strategy Parallelism in Automated Theorem Proving
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
The CADE-17 ATP System Competition
Journal of Automated Reasoning
The IJCAR ATP System Competition
Journal of Automated Reasoning
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Trading Agents Competing: Performance, Progress, and Market Effectiveness
IEEE Intelligent Systems
AI Communications
AI Communications - CASC
Hi-index | 0.00 |
The results of the CADE-17 ATP System Competition (CASC-17) are presented.