wiki_research

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

nfbdd (190B)

      1 # nFBDD
      2 
      3 [fbdd] which is [nondeterministic]
      4 
      5 special case: [nobdd]
      6 
      7 problem: [sharp_nfbdd]
      8 
      9 equivalent to [nrobp]
     10 
     11 can do [quasipolynomial] simulation of [dnnf]: [dnnf_to_nfbdd]
     12 
     13 Up: [nbdd]