Preview
Unable to display preview. Download preview PDF.
References
Bibel, W. (1982). A comparative study of several proof procedures. Artif. Intell., 18, 269–293.
[Jackson, P. (1987). The SLOOP Manual. Artificial Intelligence Applications Institute, University of Edinburgh.
Quine, W. V. O. (1952). The problem of simplifying truth functions. Am. Math. Monthly, 59, 521–531.
Quine, W. V. O. (1955). A way to simplify truth functions. Am. Math. Monthly, 62, 627–631.
Quine, W. V. O. (1959). On cores and prime implicants of truth functions. Am. Math. Monthly, 66.
McCluskey, E. L. Jr. (1956). Minimization of Boolean functions. Bell Sys. Tech. J., 35, 1417–1444.
Reiter, R. (1987). A theory of diagnosis from first principles. Artif. Intell., 32, 57–95.
Reiter, R. & de Kleer, J. (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. 6th AAAI, 183–188.
Slagle, J. R., Chang, C.-L., & Lee, R. C. T. (1970). A new algorithm for generating prime implicants. IEEE Trans. Computers, C-19(4), 304–310.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Jackson, P., Pais, J. (1990). Computing prime implicants. In: Stickel, M.E. (eds) 10th International Conference on Automated Deduction. CADE 1990. Lecture Notes in Computer Science, vol 449. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52885-7_113
Download citation
DOI: https://doi.org/10.1007/3-540-52885-7_113
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52885-2
Online ISBN: 978-3-540-47171-4
eBook Packages: Springer Book Archive