Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bry, F., Yahya, A.: Minimal model generation with positive unit hyper-resolution tableaux. 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, LNAI 1071. Springer (1996) 143–159.
Manthey, R., Bry, F.: SATCHMO: A theorem prover implemented in Prolog. 9th Int. Conf. on Automated Deduction (CADE), LNCS 310. Springer (1988) 415–434.
Schütz, H, Geisler, T.: Efficient model generation through compilation. 13th Int. Conf. on Automated Deduction (CADE), LNAI 1104. Springer (1996) 433–447.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kettner, M., Eisinger, N. (1997). The tableau browser SNARKS. In: McCune, W. (eds) Automated Deduction—CADE-14. CADE 1997. Lecture Notes in Computer Science, vol 1249. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63104-6_40
Download citation
DOI: https://doi.org/10.1007/3-540-63104-6_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63104-0
Online ISBN: 978-3-540-69140-2
eBook Packages: Springer Book Archive