I.: Binary decision diagrams (2010)

by B Bollig, M Sauerhoff, D Sieling, Wegener
Venue:Boolean Models and Methods in Mathematics, Computer Science, and Engineering