Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams
| Title: | Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams |
|---|---|
| Authors: | Butler, K.M.; Ross, D.E.; Kapur, R.; Mercer, M.R. |
| Source: | 28th ACM/IEEE Design Automation Conference Design Automation Conference, 1991. 28th ACM/IEEE. :417-420 1991 |
| Relation: | 28th ACM/IEEE Design Automation Conference |
| Database: | IEEE Xplore Digital Library |