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