Binary Decision Diagrams and Applications for VLSI CAD by Shin-ichi Minato.
Symbolic Boolean manipulation using binary decision diagrams (BDDs) has been successfully applied to a wide variety of tasks, particularly in very large scale integration (VLSI) computer-aided design (CAD). The concept of decision graphs as an abstract representation of Boolean functions dates back...
Full description
Saved in: