Publication Details

Bounds on the Sizes of Decision Diagrams

DVOŘÁK Václav. Bounds on the Sizes of Decision Diagrams. The Journal of Universal Computer Science. Berlin, Heidelberg: Springer Verlag, 1997, pp. 2-22. ISBN 3-540-62047-8.

Type

journal article

Language

english

Authors

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

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, DE

BibTeX

@ARTICLE{FITPUB5656,
   author = "V\'{a}clav Dvo\v{r}\'{a}k",
   title = "Bounds on the Sizes of Decision Diagrams",
   pages = "2--22",
   booktitle = "The Journal of Universal Computer Science",
   volume = 3,
   number = 1,
   year = 1997,
   location = "Berlin, Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "3-540-62047-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/5656"
}