Effcient manipulation of decision diagrams

摘要

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 decision on the basic data struc- tures and their management, on fast variable the tuning of the algorithms. Our analysis focuses on depth-first ma- nipulation of reduced, ordered binary decision diagrams.