An ordered binary decision diagram (OBDD) is a directed acyclic graph that represents a Boolean function. OBDDs are also known as special cases of oblivious read-once branching programs in the field of complexity theory... (read more)

PDF- QUANTUM PHYSICS

- COMPUTATIONAL COMPLEXITY

- DATA STRUCTURES AND ALGORITHMS