Detail publikace

An optimization technique for ordered (binary) decision diagrams

DVOŘÁK, V.

Originální název

An optimization technique for ordered (binary) decision diagrams

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Autoři

DVOŘÁK, V.

Vydáno

1. 1. 1992

Nakladatel

unknown

Místo

Hague

ISBN

0-8186-2760

Kniha

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

Strany od

1

Strany do

4

Strany počet

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