An efficient algorithm to generate prime implicants

DOI10.1023/A:1005940031099zbMath0929.03018OpenAlexW1978916005MaRDI QIDQ1283201

A. K. Shiny, Arun K. Pujari

Publication date: 12 January 2000

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005940031099

zbMATH Keywords

recursive algorithmprime implicantknowledge compilationhypothetical reasoningprime paths

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Classical propositional logic (03B05)

This page was built for publication: An efficient algorithm to generate prime implicants