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