A taxonomy of parallel strategies for deduction
Annals of Mathematics and Artificial Intelligence
Parallelization of a Hyper-Linking–Based Theorem Prover
Journal of Automated Reasoning
Lemma Generalization and Non-unit Lemma Matching for Model Elimination
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Strategy Parallel Use of Model Elimination with Lemmata (System Abstract)
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Abstraction-Based Relevancy Testing for Model Elimination
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Lemma generation for model elimination by combining top-down and bottom-up inference
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Towards a unified model of search in theorem-proving: subgoal-reduction strategies
Journal of Symbolic Computation
A taxonomy of theorem-proving strategies
Artificial intelligence today
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
Hi-index | 0.00 |