scientific article; zbMATH DE number 2084329

MaRDI QIDQ3043802zbMATH OpenFDO

Authors Valeriy Vyatkin

Publication date 6 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2244/22440055.htm

Mathematics Subject Classification ID

Boolean functions (06E30)

Recommendations

• Event-driven traversal of logic circuits for re-evaluation of Boolean functions in reactive systems
• Graph-Based Algorithms for Boolean Function Manipulation
• Minimization of binary decision diagrams for systems of incompletely defined Boolean functions
• Reduction of OBDDs in linear time
• Binary decision diagrams

Cited in

(2)

• Time-optimal short-circuit evaluation of Boolean expressions
• Event-driven traversal of logic circuits for re-evaluation of Boolean functions in reactive systems

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