Experiments with subdivision of search in distributed theorem proving
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
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
A model and a first analysis of distributed-search contraction-based strategies
Annals of Mathematics and Artificial Intelligence
A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
WALDMEISTER - High-Performance Equational Deduction
Journal of Automated Reasoning
Requirement-Based Cooperative Theorem Proving
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
Adaptive Saturation-Based Reasoning
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
p-SETHEO: Strategy Parallelism in Automated Theorem Proving
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Experiments with an Agent-Oriented Reasoning System
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Algorithms, Datastructures, and other Issues in Efficient Automated Deduction
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Vampire 1.1 (System Description)
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Limited resource strategy in resolution theorem proving
Journal of Symbolic Computation - Special issue: First order theorem proving
Feature‐based learning of search‐guiding heuristics for theorem proving
AI Communications
The design and implementation of VAMPIRE
AI Communications - CASC
High performance ATP systems by combining several AI methods
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Comparing unification algorithms in first-order theorem proving
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
| Hi-index | 0.00 |