Prime implicants of first order formulas via transversal clauses

DOI10.1080/00207160310001650071zbMATH Open1103.68801OpenAlexW2089149568MaRDI QIDQ4464262FDOQ4464262

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

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

zbMATH Keywords

propositional knowledge bases

Mathematics Subject Classification ID

Cites Work

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

Cited In (5)

• Computing prime implicants via transversal clauses
• Title not available (Why is that?)
• Combining Syntax and Semantics through Prime Form Representation
• Prime implicates and prime implicants: from propositional to modal logic
• 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)