NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS
SIELING, DETLEF, WEGENER, INGOVolume:
3
Language:
english
Journal:
Parallel Processing Letters
DOI:
10.1142/S0129626493000022
Date:
March, 1993
File:
PDF, 488 KB
english, 1993