Breadth-First Manipulation of SBDD of Boolean Functions for Vector Processing.

Hiroyuki Ochi, Nagisa Ishiura, Shuzo Yajima

Browse the full DAC paper archive.