Publication Details
An optimization technique for ordered (binary) decision diagrams
DVOŘÁK, V. An optimization technique for ordered (binary) decision diagrams. Proceedings of the 6th Annual European Computer Conference CompEuro' 92. Hague: unknown, 1992. p. 1-4. ISBN: 0-8186-2760.
Type
conference paper
Language
English
Authors
Dvořák Václav, prof. Ing., DrSc.
Published
1992
Pages
1–4
Proceedings
Proceedings of the 6th Annual European Computer Conference CompEuro' 92
ISBN
0-8186-2760
Publisher
unknown
Place
Hague
BibTeX
@inproceedings{BUT192201,
author="Václav {Dvořák}",
title="An optimization technique for ordered (binary) decision diagrams",
booktitle="Proceedings of the 6th Annual European Computer Conference CompEuro' 92",
year="1992",
pages="1--4",
publisher="unknown",
address="Hague",
isbn="0-8186-2760"
}