Characterizing the Complexity of Boolean Functions represented by Well-Structured Graph-Driven Parity-FBDDs
Verfasserangaben: | Henrik Brosenne, Matthias HomeisterGND, Stephan Waack |
---|---|
DOI: | https://doi.org/10.1051/ita:2002011 |
ISSN: | 1290-385X (Online) |
ISSN: | 0988-3754 (Print) |
Titel des übergeordneten Werkes (Englisch): | RAIRO - Theoretical Informatics and Applications (ITA) |
Dokumentart: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Jahr der Veröffentlichung: | 2002 |
Datum der Veröffentlichung (online): | 02.03.2017 |
Datum der Freischaltung: | 02.03.2017 |
Freies Schlagwort / Tag: | Well-structured graph-driven parity-FBDDs; complexity theory; data structures for Boolean functions; lower bounds; minimization algorithm |
Jahrgang: | 36 |
Ausgabe / Heft: | 3 |
Erste Seite: | 229 |
Letzte Seite: | 247 |
DDC-Klassifikation: | Informatik, Informationswissenschaft, allgemeine Werke / Informatik, Wissen, Systeme / Datenverarbeitung; Informatik |
Naturwissenschaften und Mathematik / Mathematik / Mathematik | |
Hochschulbibliografie: | Hochschulbibliografie |
Lizenz (Deutsch): | Creative Commons - Namensnennung-Nicht kommerziell-Keine Bearbeitung |