Techniques of BDD Manipulation
- 111 Downloads
This chapter introduces the basic concept of BDDs, which are now commonly used for Boolean function representation. We then discuss methods for manipulating BDDs on computers and describe techniques for reducing computation time and memory requirements.
KeywordsRoot Node Boolean Function Hash Table Garbage Collection Cache Size
Unable to display preview. Download preview PDF.