Some disturbing facts about depth-first left-most variable ordering heuristics for binary decision diagrams
Partial binary decision diagrams
Binary Decision Diagrams (BDDs)
Propositional Logic: Binary Decision Diagrams
Binary decision trees and diagrams