Result 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"
}

Research groups

Supercomputing Technologies Research Group SC@FIT (RG SC@FIT)

Departments

Faculty of Information Technology (FIT)