CNF and DNF considered harmful for computing prime implicants/implicates

DOI10.1023/A:1005721905269zbMath0881.68107OpenAlexW1526521033MaRDI QIDQ1367074

Anavai Ramesh, Neil V. Murray, George Becker

Publication date: 17 September 1997

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

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

zbMATH Keywords

prime implicatesprime implicants

Mathematics Subject Classification ID

Related Items (5)

Abductive network action inference for targeted therapy discovery ⋮ Efficient query processing with reduced implicate tries ⋮ Prime forms and minimal change in propositional belief bases ⋮ A temporal negative normal form which preserves implicants and implicates ⋮ Prime implicants of first order formulas via transversal clauses

This page was built for publication: CNF and DNF considered harmful for computing prime implicants/implicates