wiki_research

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

cnf_to_decision_dnnf (217B)

      1 # CNF to decision-DNNF
      2 
      3 [oztok2014compiling]
      4 
      5 introduces [decision_width] of [conjunctive_normal_form], which amounts to a bound on [primal_treewidth]
      6 
      7 Up: [conversion] of [conjunctive_normal_form] to [decision_dnnf]