obdd (316B)
1 # OBDD 2 3 A [deterministic] [bdd] with a [variable_order] 4 5 - [uobdd] 6 - [nobdd] 7 8 We can tractably take the [conjunction] and [disjunction] of two OBDDs where the [variable_order] is the same 9 - [OBDD_conjunction] 10 11 Generalizations: 12 - [CFLOBDDs] 13 - [FBDDs] 14 15 Notion: [bdd_width] 16 17 Up: [bdd] 18 19 See also: [fbdd] 20 21 Aliases: OBDDs