Evaluating general purpose automated theorem proving systems
Artificial Intelligence
The CADE-17 ATP System Competition
Journal of Automated Reasoning
E-SETHEO: Design, Configuration and Use of a Parallel Automated Theorem Prover
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
Proof planning with multiple strategies
Artificial Intelligence
The CADE-21 automated theorem proving system competition
AI Communications
Generating customized verifiers for automatically generated code
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
The TPTP Problem Library and Associated Infrastructure
Journal of Automated Reasoning
Automated reasoning and presentation support for formalizing mathematics in Mizar
AISC'10/MKM'10/Calculemus'10 Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics
The TPTP world - infrastructure for automated reasoning
LPAR'10 Proceedings of the 16th international conference on Logic for programming, artificial intelligence, and reasoning
TABLEAUX'05 Proceedings of the 14th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Machine learning approach to enhance the design of automated theorem provers
ICONIP'12 Proceedings of the 19th international conference on Neural Information Processing - Volume Part II
Hi-index | 0.00 |