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
Keywords :
Boolean functions; Data structures; Formal verification; Manuals; Moon; Permission; Reachability analysis; Robustness; Space exploration; State-space methods;
Conference_Titel :
Design Automation Conference, 2000. Proceedings 2000
Print_ISBN :
1-58113-187-9
DOI :
10.1109/DAC.2000.855270
