A feature-based learning method for theorem proving
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
The CADE-14 ATP System Competition
Journal of Automated Reasoning
DISCOUNT - A Distributed and Learning Equational Prover
Journal of Automated Reasoning
Learning Search Control Knowledge for Equational Theorem Proving
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
System Description: Waldmeister - Improvements in Performance and Ease of Use
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Octopus: Combining Learning and Parallel Search
Journal of Automated Reasoning
Feature‐based learning of search‐guiding heuristics for theorem proving
AI Communications
AI Communications - CASC
| Hi-index | 0.00 |