wiki_research

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

cnf_to_dnnf (258B)

      1 # CNF to DNNF
      2 
      3 [Conversion] of a [CNF] to a [DNNF]
      4 
      5 [bova2015compiling]:
      6 - [fixed_parameter_tractable] bound in [incidence_treewidth]
      7 - linear in [variable] plus [clauses]
      8 - gives a [structured_ddnnf]
      9 
     10 Up: [conversion] of [conjunctive_normal_form] to [dnnf]