Publication detail

An optimization technique for ordered (binary) decision diagrams

DVOŘÁK, V.

Original Title

An optimization technique for ordered (binary) decision diagrams

Type

article in a collection out of WoS and Scopus

Language

English

Authors

DVOŘÁK, V.

Released

1. 1. 1992

Publisher

unknown

Location

Hague

ISBN

0-8186-2760

Book

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

Pages from

1

Pages to

4

Pages count

4

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