scientific article; zbMATH DE number 1303352

zbMATH Open0926.03007MaRDI QIDQ4249905FDOQ4249905

Authors: J. D. Horton, Bruce D. Spencer 

Publication date: 15 September 1999

Title of this publication is not available (Why is that?)

Recommendations

• Counting the number of equivalent binary resolution proofs
• scientific article; zbMATH DE number 4072434
• Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution
• scientific article; zbMATH DE number 1614709

zbMATH Keywords

automated theorem provingresolution treebinary resolutionrank/activity restriction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Counting the number of equivalent binary resolution proofs
• Efficient algorithms to detect and restore minimality, an extension of the regular restriction of resolution

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4249905)