Algorithm for PP-reduction a PC formula to the clause form

MaRDI QIDQ3115173zbMATH OpenFDO

Authors Mirjana Isaković-Ilić, Nebojša Bosiočić

Publication date 20 February 2012

zbMATH Keywords

resolutionautomated theorem provingprinciple of contradiction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 3981151
• Optimizing the clausal normal form transformation
• Analysis of a new reduction calculus for the satisfiability problem
• scientific article; zbMATH DE number 3871320
• On the complexity of propositional calculus formulae

Cited in

(1)

• scientific article; zbMATH DE number 1303435 (Why is no real title available?)

This page was built for publication: Algorithm for PP-reduction a PC formula to the clause form

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