Binary decision diagrams (BDDs)
	• “Folded decision tree” • Fixed variable order • Many functions have small BDDs – Multiplication is a notable exception • Can represent – State machines (transition functions) and – Temporal queries
					Due to Randy Bryant