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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2171911
بازگشت