fbdd (290B)
1 # FBDD 2 3 Free [BDD], i.e., the [variables] are not [ordered] but every [path] in the [BDD] encounters any given [variable] at most once 4 5 Is a subclass of [DNNF] 6 7 Can be [circuit_negated] in [PTIME] by swapping the [sinks] 8 9 Up: [bdd] 10 11 Aliases: FBDDs 12 13 See also: [read_twice_branching_program]