Graph-Driven Free Parity BDDs: Algorithms and Lower Bounds
Verfasserangaben: | Henrik Brosenne, Matthias HomeisterGND, Stephan Waack |
---|---|
DOI: | https://doi.org/10.1007/3-540-44683-4_19 |
ISBN: | 978-3-540-44683-5 (Online) |
Titel des übergeordneten Werkes (Englisch): | Mathematical foundations of computer science 2001 : 26th international symposium ; proceedings / MFCS 2001, Mariánské Lázně, Czech Republic, August 27 - 31, 2001 |
Schriftenreihe (Bandnummer): | Lecture notes in computer science (2136) |
Verlag: | Springer |
Verlagsort: | Berlin [u.a.] |
Herausgeber*in: | Jiří Sgall |
Dokumentart: | Konferenzveröffentlichung |
Sprache: | Englisch |
Jahr der Veröffentlichung: | 2001 |
Datum der Veröffentlichung (online): | 02.03.2017 |
Datum der Freischaltung: | 02.03.2017 |
Erste Seite: | 212 |
Letzte Seite: | 223 |
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 |