Result Details

Bounds on the Sizes of Decision Diagrams

DVOŘÁK, V. Bounds on the Sizes of Decision Diagrams. 1997, vol. 3, no. 1, p. 2-22.

Type

journal article

Language

English

Authors

Dvořák Václav, prof. Ing., DrSc.

Published

1997

Pages

2–22

Book

The Journal of Universal Computer Science

Volume

Number

ISBN

3-540-62047-8

Publisher

Springer Verlag

Place

Berlin, Heidelberg

BibTeX

@article{BUT192276,
  author="Václav {Dvořák}",
  title="Bounds on the Sizes of Decision Diagrams",
  year="1997",
  volume="3",
  number="1",
  pages="2--22"
}

Research groups

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

Departments

Faculty of Information Technology (FIT)