Instruct: Classify Amazon reviews into positive or negative sentiment
Query: Introduction to a milestone algorithm in VLSI: ordered binary decision diagrams

Imagine that you have a many million transistor chip. No, imagine that you have a many billion transistor chip! And you want to prove that this chip does what it suppose to do. You cannot enumerate all the states of your chip and check that all is well, two to the power "a billion" is a pretty big number. The trick is then to iterate through the "higher levels" of a "compressed" form of the system to be validated, while being careful to keep the respresentation of the system compact. That is what ordered binary decision diagrams (OBDD) is all about and this book is a very good introduction to the subject.