DocumentCode
2214647
Title
To split or to conjoin: the question in image computation
Author
Moon, In-Ho ; Kukula, James H. ; Ravi, Kavita ; Somenzi, Fabio
Author_Institution
University of Colorado
fYear
2000
fDate
2000
Firstpage
23
Lastpage
28
Keywords
Boolean functions; Data structures; Formal verification; Manuals; Moon; Permission; Reachability analysis; Robustness; Space exploration; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN
1-58113-187-9
Type
conf
DOI
10.1109/DAC.2000.855270
Filename
855270
Link To Document