Fast functional evaluation of candidate OBDD variable orderings
| Title: | Fast functional evaluation of candidate OBDD variable orderings |
|---|---|
| Authors: | Ross, D.E.; Butler, K.M.; Kapur, R.; Mercer, M.R. |
| Source: | Proceedings of the European Conference on Design Automation. Design Automation. EDAC., Proceedings of the European Conference on. :4-10 1991 |
| Relation: | Proceedings of the European Conference on Design Automation. |
| Database: | IEEE Xplore Digital Library |