On Matrices with Connections

  title={On Matrices with Connections},
  author={Wolfgang Bibel},
  journal={J. ACM},
Theorem proving is considered as the problem of verifying that each path through a matrix consisting of a set of clauses can be made complementary. By introducing connections to such a matrix the followmg three results are derived from that conceptual basis. First, a sunple and short proof for the consistency and completeness of the connection graph procedure as given Second, a macrosimplificatlon rule for the preparatory step of any ATP-method is defined which, like the deletion or subsumptlon… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS


Publications citing this paper.

Similar Papers

Loading similar papers…