Implicit enumeration of strongly connected components

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers

Volumn , Issue , 1999, Pages 37-40

  Xie, Aiguo ^a   Beerel, Peter A ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS MACHINERY; COMPUTER AIDED ANALYSIS; COMPUTER AIDED DESIGN; COMPUTER GRAPHICS; DATA STRUCTURES; MATRIX ALGEBRA;

BINARY DECISION PROGRAM; STRONGLY CONNECTED COMPONENTS; TRANSITIVE CLOSURE BASED METHOD;

ALGORITHMS;

EID: 0033328172     PISSN: 10923152     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)