An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving

T. H. Hu, Chuan Yi Tang, Richard C. T. Lee. An Average Case Analysis of a Resolution Principle Algorithm in Mechanical Theorem Proving. Annals of Mathematics and Artificial Intelligence, 6(1-3):235-251, 1992.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.