Prime implicants of first order formulas via transversal clauses

DOI10.1080/00207160310001650071MaRDI QIDQ4464262zbMATH OpenOpenAlexFDO

Authors Manoj K. Raut, Arindama Singh

Publication date 27 May 2004

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207160310001650071

zbMATH Keywords

propositional knowledge bases

Mathematics Subject Classification ID

Recommendations

• Computing prime implicants via transversal clauses
• scientific article; zbMATH DE number 517005
• Enumerating prime implicants of propositional formulae in conjunctive normal form
• Prime implicates and prime implicants: from propositional to modal logic
• CNF and DNF considered harmful for computing prime implicants/implicates

Cites work

• CNF and DNF considered harmful for computing prime implicants/implicates
• Computation of prime implicants using matrix and paths
• Computing prime implicants via transversal clauses
• Polynomial-time algorithms for generation of prime implicants

Cited in

(5)

• Prime implicates and prime implicants: from propositional to modal logic
• Combining Syntax and Semantics through Prime Form Representation
• Computing prime implicants via transversal clauses
• scientific article; zbMATH DE number 517005 (Why is no real title available?)
• Enumerating prime implicants of propositional formulae in conjunctive normal form

This page was built for publication: Prime implicants of first order formulas via transversal clauses

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