|
Volumn , Issue , 1990, Pages 220-223
|
A parallel algorithm for constructing binary decision diagrams
a
a
KOBE UNIVERSITY
(Japan)
|
Author keywords
[No Author keywords available]
|
Indexed keywords
COMPUTER SYSTEMS, DIGITAL - PARALLEL PROCESSING;
MATHEMATICAL TECHNIQUES - ALGORITHMS;
BINARY DECISION DIAGRAMS;
COMPUTER ALGORITHMS;
FORMAL VERIFICATION;
PARALLEL ALGORITHM;
COMPUTER METATHEORY;
|
EID: 0025486860
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (47)
|
References (5)
|