wiki_research

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

knowledge_compilation_classes (828B)

      1 # Knowledge compilation classes
      2 
      3 - [negation_normal_form]
      4 - [decomposability]
      5   - [DNNF]
      6   - [wDNNF]
      7 - [structuredness]
      8   - [SDNNF]
      9 - [circuit_determinism]: [d-DNNF]
     10   - exponentially separated from [dnnf]
     11     - [sauerhoff_function]
     12   - [ordered_dnnf], in [amarilli2017circuit]
     13 - [smoothness]
     14 - [SDD]
     15   - exponentially separated from [obdd]
     16     - [hidden_weighted_bit_function]
     17 - [TDD]
     18 - [decision_dnnf]
     19   - [decision_sdnnf]
     20   - [ordered_decision_circuit]
     21 - [diagram]
     22   - [obdd]
     23   - [nobdd]
     24   - [uobdd]
     25   - [fbdd]
     26   - see also: [zero_suppressed_semantics]
     27 
     28 Up: [knowledge_compilation], [circuit], [Boolean_function_representation]
     29 
     30 See also: [circuit_classes], [circuit_condition]
     31 
     32 Aliases: knowledge compilation circuit classes, knowledge compilation circuits, knowledge compilation class, kc circuit class, kc circuit classes