এই পাঠটি: Binary decision diagrams :