Hillenbrand, T., Jaeger, A., and Lochner, B. (1999). System description: Waldmeister : Improvements in performance and ease of use. In Proceedings of CADE{16 , volume 1632 of LNAI . Springer Verlag.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
On Using Ground Joinable Equations in Equational.. - Avenhaus.. (2000) (2 citations) (Correct)
....and practical strength. We will report on this ongoing research in a future paper. 6 Experimental evaluation To evaluate our approach and to gain some insights into the practical applicability we considered four variants of our Waldmeister theorem prover. They are all running in autonomous mode [HJL99] and di er only in the following way: wm uses none of the mentioned techniques and serves as baseline in the experiments wm ac employs only the semantic criterion of Theorem 2 to detect ground joinable equations and deletes these equations immediately wm del uses additionally the syntactic ....
T. Hillenbrand, A. Jaeger, and B. Lochner. System description: Waldmeister { Improvements in Performance and Ease of Use. In Proc. CADE-16, LNAI 1632, pages 232-236, 1999.
Article Submitted to Journal of Symbolic Computation - Comparing Approaches To (2002) (Correct)
No context found.
Hillenbrand, T., Jaeger, A., and Lochner, B. (1999). System description: Waldmeister : Improvements in performance and ease of use. In Proceedings of CADE{16 , volume 1632 of LNAI . Springer Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC