A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Resolution, Refinements, and Search Strategies: A Comparative Study
1976
IEEE transactions on computers
It appears that the program discussed here is substantially more powerful than other such resolution-based programs cited in the literature. REFERENCES [1] J. McCharen, R. A. Overbeek, and L. Wos, "Complexity and related enhancements for automated theorem proving programs," Comput. Math. Appi., to be published. [2] J. A. Robinson, "Automated deduction with hyper-resolution," Int. Abstract-This paper describes a comparative study of six binary inference systems and two search strategies employed
doi:10.1109/tc.1976.1674697
fatcat:sutw6j3sybamth354tghnsybri