×

zbMATH — the first resource for mathematics

Efficient manipulation of decision diagrams. (English) Zbl 1002.68585
Summary: Over the last decade significant progress has been made in the efficient implementation of algorithms for the manipulation of decision diagrams. We review the main issues involved in designing a decision diagram package, with special emphasis on the basic data structures and their management, on fast variable reordering, and on the collection of statistics to guide the tuning of the algorithms. Our analysis focuses on depth-first manipulation of reduced, ordered binary decision diagrams.

MSC:
68U99 Computing methodologies and applications
68U07 Computer science aspects of computer-aided design
Software:
CUDD
PDF BibTeX XML Cite
Full Text: DOI