scientific article; zbMATH DE number 1759447

MaRDI QIDQ4536397zbMATH OpenFDO

Authors Jaco van de Pol, Hans Zantema

Publication date 8 October 2002

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• A rewriting approach to binary decision diagrams
• scientific article; zbMATH DE number 1390338
• Binary decision diagrams
• Binary decision diagrams
• BDDs -- design, analysis, complexity, and applications.

Cited in

(8)

• A rewriting approach to binary decision diagrams
• Some notes on the abstraction operation for multi-terminal binary decision diagrams
• An nlogn Algorithm for Online BDD Refinement
• scientific article; zbMATH DE number 1956213 (Why is no real title available?)
• scientific article; zbMATH DE number 1863167 (Why is no real title available?)
• A characterization of binary decision diagrams
• Principles for a judgement editor based on binary decision diagrams
• Chain reduction for binary and zero-suppressed decision diagrams

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 Q4536397)