Comparison of optimal and suboptimal synthesis of ordered binary decision diagrams
Group publication title:
Subject and Keywords:
sterowanie ; sterowanie-teoria ; sztuczna inteligencja ; matematyka stosowana ; informatyka
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.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 3, number 2 (1993) ; click here to follow the link