Fakultät für Informatik - Technische Universität MünchenLehrstuhl für Effiziente Algorithmen |
Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen [1] | Hilfe |
Suche: Citkey="Heap-Mercer/94" |
IEEE Transactions on Computers 43 (6), 1994, June, pp. 764-767
Publisher: | IEEE Computer Society Press | |
Address: | Los Alamitos-Washington-Brussels-Tokyo | |
Keywords: | boolean function representation, data compression, design verification, ordered binary decision diagrams, worst-case memory use | |