scientific article; zbMATH DE number 1303352

MaRDI QIDQ4249905zbMATH OpenFDO

Authors J. D. Horton, Bruce D. Spencer

Publication date 15 September 1999

zbMATH Keywords

automated theorem provingresolution treebinary resolutionrank/activity restriction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

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

Cited in

(4)

• scientific article; zbMATH DE number 4072434 (Why is no real title available?)
• scientific article; zbMATH DE number 1614709 (Why is no real title available?)
• 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)