wiki_research

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

dnnf (503B)

      1 # DNNF
      2 
      3 [decomposable] [negation_normal_form]
      4 
      5 [sharp_dnnf] admits an [FPRAS] according to [meel2024fpras]
      6 
      7 Special cases:
      8 - [ordered_dnnf], cf [context_free_grammar]
      9 - [sdd]
     10 - [decision_dnnf]
     11   - special case [ordered_decision_circuit]
     12 - [disjunctive_normal_form]
     13 
     14 Compilation of DNNFs to [conjunctive_normal_form] cannot be done tractably because DNNFs include [DNFs]
     15 
     16 - [DNNF_lower_bounds]
     17 
     18 See also: [ddnnf], [decision_dnnf], [times_cup_circuit]
     19 
     20 Up: [knowledge_compilation_classes]
     21 
     22 Aliases: DNNFs