- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
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).