Computing prime implicants via transversal clauses

DOI10.1080/00207169908804764zbMath0927.68117OpenAlexW1985698120MaRDI QIDQ4243266

Arindama Singh

Publication date: 19 December 1999

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

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

zbMATH Keywords

transversal clauses

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05)

Related Items (1)

Prime implicants of first order formulas via transversal clauses

Cites Work

• Optimizing the clausal normal form transformation
• An incremental method for generating prime implicants/implicates
• On the number of prime implicants
• A New Algorithm for Generating Prime Implicants

This page was built for publication: Computing prime implicants via transversal clauses