Branching programs and binary decision diagrams — ReaderExpo