"Branching Programs and Binary Decision Diagrams: Theory and Applications (Monographs on Discrete Mathematics and Applications)" - читать интересную книгу автора (Ingo Wegener)