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

by I Wegener