"Zero-Suppressed BDDs for Set Manipulation in Combinatorial Problems."

Shin-ichi Minato (1993)
a service of Schloss Dagstuhl - Leibniz Center for Informatics