Art of computer programming - Knuth Donald E (New Jersey Addison-Wesley, 2009)
V4, fascicle 1; Bitwise tricks & techniques, Binary decision diagrams
Keywords: Computer algorithms; Computer programming