๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Grouping table for the minimisation of n-variable boolean functions

โœ Scribed by Halder, A.K.


Book ID
119748138
Publisher
Institution of Electrical Engineers
Year
1978
Weight
907 KB
Volume
125
Category
Article
ISSN
0020-3270

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Variable orderings and the size of OBDDs
โœ Detlef Sieling ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 268 KB ๐Ÿ‘ 3 views

The size of ordered binary decision diagrams OBDDs strongly depends on the chosen variable ordering. It is an obvious heuristic to use symmetric variable orderings, i.e., variable orderings where symmetric variables are arranged adjacently. In order to evaluate this heuristic, methods for estimating