Publication Details

An optimization technique for ordered (binary) decision diagrams

DVOŘÁK Václav. An optimization technique for ordered (binary) decision diagrams. In: Proceedings of the 6th Annual European Computer Conference CompEuro' 92. Hague: unknown, 1992, pp. 1-4. ISBN 0-8186-2760.

Type

conference paper

Language

english

Authors

Dvořák Václav, Prof. Ing., DrSc. (DCSE FEECS BUT)

Published

1992

Pages

1-4

Proceedings

Proceedings of the 6th Annual European Computer Conference CompEuro' 92

ISBN

0-8186-2760

Place

Hague, NL

BibTeX

@INPROCEEDINGS{FITPUB5637,
   author = "V\'{a}clav Dvo\v{r}\'{a}k",
   title = "An optimization technique for ordered (binary) decision diagrams",
   pages = "1--4",
   booktitle = "Proceedings of the 6th Annual European Computer Conference CompEuro' 92",
   year = 1992,
   location = "Hague, NL",
   ISBN = "0-8186-2760",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5637"
}