DocumentCode
2171911
Title
Heuristics to compute variable orderings for efficient manipulation of ordered binary decision diagrams
Author
Butler, Kenneth M. ; Ross, Don E. ; Kapur, R. ; Mercer, M.R.
Author_Institution
Texas A&M University
fYear
1991
fDate
21-21 June 1991
Firstpage
417
Lastpage
420
Keywords
Boolean functions; Circuits; Computational complexity; Contracts; Data structures; Distributed computing; Instruments; Materials science and technology; Permission; Semiconductor materials;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 1991. 28th ACM/IEEE
Conference_Location
IEEE
Print_ISBN
0-89791-395-7
Type
conf
Filename
979752
Link To Document