obdd (254B)
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 Up: [bdd] 12 13 See also: [fbdd] 14 15 Aliases: OBDDs