Branching Programs and Binary Decision Diagrams: Theory and Applications (2000)

by I Wegener
Venue:Society for Industrial and Applied Mathematics