Knuth also has some interesting material on BDDs (binary decision diagrams), which can be used to encode, count, enumerate and uniformly sample a variety of combinatorial structures.

http://www.cs.utsa.edu/~wagner/knuth/