Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems

Shin-ichi Minato. Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems. In DAC. pages 272-277, 1993. [doi]

Abstract

Abstract is missing.