[أحمد سعد الدين]

Branching Programs and Binary
Decision Diagrams: Theory and Applications
(Monographs on Discrete Mathematics and Applications)

#######