& context = com ps ci . ▁ ▁Lyn n , ▁Ben . ▁“ Z DD s .” ▁Z DD s ▁- ▁Introduction , ▁Stan ford ▁University , ▁ 2 0 0 5 , ▁c rypto . stan ford . edu / p bc / notes / z dd /. ▁M ish chen ko , ▁Alan . ▁“ An ▁Introduction ▁to ▁Zero - Supp ress ed ▁Binary ▁Dec ision ▁Di agr ams .” ▁ 5 ▁Feb . ▁ 2 0 1 4 , ▁doi : https :// people . e ec s . ber keley . edu /~ al an mi / public ations / 2 0 0 1 / tech 0 1 _ z dd _. pdf . ▁Kn uth , ▁Donald ▁E . ▁The ▁Art ▁of ▁Computer ▁Program ming , ▁Vol ▁ 4 . ▁ 2 2 ▁Dec . ▁ 2 0 0 8 . ▁ ▁External ▁links ▁Min ato , ▁Shin - ichi . ▁“ Zero - Supp ress ed ▁B DD s ▁and ▁Their ▁App lications .” ▁https :// W ww . res earch gate . net / Profile / Sh in - ichi _ Min ato / Public ation / 3 7 5 5 5 7 6 0 _ Zero - supp ress ed _ B DD s _ and _ the ir _ app lications / Link s / 0 2 e 7 e 5 2 b 8 5 cd 6 3 9 cb 5 0 0 0 0 0 0 . P df , ▁H ok