Creator:

Dvorak, Vaclav

Contributor:

Caban, Dariusz - red.

Title:

Comparison of optimal and suboptimal synthesis of ordered binary decision diagrams

Group publication title:

AMCS, volume 3 (1993)

Subject and Keywords:

sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka

Abstract:

The minimum cost ordered (binary) decision diagrams (OBDD's) are difficult to find due to high computational cost. The optimal synthesis of ordered binary decision diagrams is compared with the suboptimal synthesis based on the level minimization technique. Using a set of popular benchmarks, it is shown, that despite much higher computational effort, the optimal synthesis does not yield corresponding difference in quality (size) of the resulting diagrams.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

1993

Resource Type:

artykuł

Pages:

373-381

Source:

AMCS, volume 3, number 2 (1993) ; click here to follow the link

Language:

eng

License CC BY 4.0:

click here to follow the link

Rights:

Biblioteka Uniwersytetu Zielonogórskiego