wiki_research

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

dnnf (479B)

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