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

Implementation of the in-order prime factor transform for variable sizes

โœ Scribed by Rothweiler, J.


Book ID
117905704
Publisher
IEEE
Year
1982
Weight
288 KB
Volume
30
Category
Article
ISSN
0096-3518

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