اسلايدها و مراجع BDD

اسلايدهاي جلسه سوم در مورد BDD را مي‌توانيد از اينجا دريافت كنيد.

مراجع استفاده شده جهت مطالعه بيشتر در داخل اسلايدها ذكر شده است كه از ميان آنها، مراجع زير را پيدا كردم كه بدون نياز به جستجو مي‌توانيد آنها را دريافت و مطالعه نماييد.

An Introduction to Binary Decision Diagrams

Efficient implementation of a BDD package