Partitioned ROBDDs-a compact, canonical and efficiently manipulable representation for Boolean functions

Autor:	Narayan, Amit, Jain, Jawahar, Fujita, M., Alberto Sangiovanni-Vincentelli
Rok vydání:	2002
Zdroj:	Scopus-Elsevier
DOI:	10.1109/iccad.1996.569909
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d402137b933d6b3e93e02efb14c5af51 https://doi.org/10.1109/iccad.1996.569909 Zobrazit plný text záznamu