"Branching programs and binary decision diagrams" - читать интересную книгу автора (Ingo Wegener)