wiki_research

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

dnnf_to_nfbdd (205B)

      1 # DNNF to NFBDD
      2 
      3 in [amarilli2019connecting], attributed to [beame2015new] section 5, but also seems to be done in [razgon2015quasipolynomial] under the name [nrobp]
      4 
      5 Up: [conversion] of [dnnf] to [nfbdd]