scientific article; zbMATH DE number 910729

zbMATH Open0858.94036MaRDI QIDQ4885887FDOQ4885887

Authors: Rolf Drechsler, Bernd Becker 

Publication date: 22 August 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Boolean functionsordered Kronecker functional decision diagrams

Mathematics Subject Classification ID

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

Cited In (1)

• Introduction to the OBDD algorithm for the ATP community

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)