Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation.

Shin-ichi Minato, Nagisa Ishiura, Shuzo Yajima

Browse the full DAC paper archive.