The Art of Computer Programming, Volume 4, Fascicle 1

Bitwise Tricks & Techniques; Binary Decision Diagrams

By Donald E. Knuth