scientific article; zbMATH DE number 910729

MaRDI QIDQ4885887zbMATH OpenFDO

Authors Rolf Drechsler, Bernd Becker

Publication date 22 August 1996

zbMATH Keywords

Boolean functionsordered Kronecker functional decision diagrams

Mathematics Subject Classification ID

Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35)

Recommendations

• OKFDDs versus OBDDs and OFDDs
• On the relation between BDDs and FDDs
• On the relation between BDDs and FDDs (extended abstract)
• Binary decision diagrams

Cited in

(2)

• Introduction to the OBDD algorithm for the ATP community
• OKFDDs versus OBDDs and OFDDs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4885887)