I J ST TT 3 - 2 . pdf , ▁H ok ka ido ▁University , ▁May ▁ 2 0 0 1 , ▁https :// e print s . lib . h ok ud ai . ac . jp / d space / bit stream / 2 1 1 5 / 1 6 8 9 5 / 1 / I J ST TT 3 - 2 . pdf . ▁Min ato , ▁Shin - ichi . ▁“ Zero ▁Supp ress ed ▁B DD s ▁for ▁Set ▁Man ip ulation ▁in ▁Com bin atorial ▁Problem s .” ▁ 1 9 9 3 , ▁doi : https :// pdf s . sem antic sch olar . org / 9 5 9 3 / 6 2 2 3 3 6 2 a 1 6 a 5 0 de 2 9 5 9 4 7 5 d 8 7 a efe 2 a 1 f ec 7 . pdf . ▁Bry ant , ▁Rand al ▁E . ▁“ Binary ▁Dec ision ▁Di agr ams ▁and ▁Bey ond : ▁En abling ▁Techn ologies ▁for ▁F ormal ▁Ver i ▁C ation .” ▁http :// Repository . c mu . edu / C gi / View content . cgi ? Art icle = 1 2 4 5 & Context = Com ps ci , ▁Car neg ie ▁M ell on ▁University ▁, ▁Nov . ▁ 1 9 9 5 , ▁repository . c mu . edu / cgi / view content . cgi ? article = 1 2 4 5