Author:
Wolf Andreas,Draeger Joachim
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. O. Astrachan and D. Loveland. The Use of Lemmas in the Model Elimination Procedure. JAR, 19(1):117–141, 1997.
2. S. Conry, et al. DARES: A Distributed Automated Reasoning System. In AAAI-8, pages 78–85, 1990.
3. J. Draeger. Modularisierte Suche in Theorembeweisern. PhD thesis, Munich University of Technology, 1998.
4. J. Draeger. Acquisition of Useful Lemma Knowledge in Automated Reasoning. In AIMSA-98, LNAI 1480, pages 230–239, 1998.
5. D. Loveland. Mechanical Theorem-Proving by Model Elimination. JACM, 15(2), 1968.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献