Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up.

Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi

Browse the full ISAAC paper archive.