wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

fbdd (229B)

      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 Up: [bdd]
      8 
      9 Aliases: FBDDs
     10 
     11 See also: [read_twice_branching_program]