Advertisement

A high-performance parallel theorem prover

  • Ralph Butler
  • Ian Foster
  • Anita Jindal
  • Ross Overbeek
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

References

  1. [1]
    Butler, R.M., and Karonis, N.T., Exploitation of parallelism in prototypical deduction problems, CADE 9, Springer-Verlag, 1988.Google Scholar
  2. [2]
    Butler, R.M. and Overbeek, R.A., unpublished information, 1990.Google Scholar
  3. [3]
    Christian, J., Techniques for fast Knuth-Bendix completion, Proc. Conf. on Rewriting Techniques and Applications, Chapel Hill, N.C., 1989.Google Scholar
  4. [4]
    Foster, I.T. and Taylor, S., Strand: New Concepts in Parallel Programming, Prentice-Hall, Englewood Cliffs, N.J. 1989.Google Scholar
  5. [5]
    Jindal, A., Overbeek, R.A., and Kabat, W., Exploitation of parallel processing for implementing high-performance deduction systems, Journal of Automated Reasoning (to appear).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Ralph Butler
    • 1
  • Ian Foster
    • 1
  • Anita Jindal
    • 1
  • Ross Overbeek
    • 1
  1. 1.Mathematics and Computer Science DivisionArgonne National LaboratoryArgonne

Personalised recommendations