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

zbMATH Open1249.68203MaRDI QIDQ3115173FDOQ3115173

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

Publication date: 20 February 2012

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

zbMATH Keywords

resolutionautomated theorem provingprinciple of contradiction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Title not available (Why is that?)

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)