Propositional Logic: Binary Decision Diagrams
Partial binary decision diagrams
Binary Decision Diagrams (BDDs)
Binary decision trees and diagrams