"An Algorithm for Total Symmetric OBDD Detection."

Yuke Wang, Mostafa I. H. Abd-El-Barr, Carl McCrosky (1997)

Details and statistics

DOI: 10.1109/12.600890

access: closed

type: Journal Article

metadata version: 2021-04-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics