Steven Greenbaum

According to our database, Steven Greenbaum authored at least 4 papers between 1982 and 1986.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1986

Input Transformations and Resolution Implementation Techniques for Theorem Proving in First-Order Logic (Clause Form, Discrimination Networks, Heuristic Search, Locking Resolution)

Steven Greenbaum

PhD thesis, 1986

A Structure-Preserving Clause Form Translation.

David A. Plaisted, Steven Greenbaum

J. Symb. Comput., 1986

The Illinois Prover: A General Purpose Resolution Theorem Prover.

Steven Greenbaum, David A. Plaisted

Proceedings of the 8th International Conference on Automated Deduction, Oxford, England, July 27, 1986

1982

Comparison of Natural Deduction and Locking Resolution Implementations.

Steven Greenbaum, A. Nagasaka, Paul O'Rorke, David A. Plaisted

Proceedings of the 6th Conference on Automated Deduction, 1982