OBDDs of a monotone function and its prime implicants

DOI10.1007/s002240000104zbMath0912.68002OpenAlexW1984038497MaRDI QIDQ1271277

K. Appert

Publication date: 18 May 1999

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002240000104

zbMATH Keywords

ordered binary decision diagrams

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Related Items (3)

Evasiveness through binary decision diagrams ⋮ Size of OBDD representation of 2-level redundancies functions ⋮ Ordered binary decision diagrams as knowledge-bases

This page was built for publication: OBDDs of a monotone function and its prime implicants