"Efficient OBDD-Based Boolean Manipulation in CAD beyond Current Limits."

Jochen Bern, Christoph Meinel, Anna Slobodová (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics