wiki_research

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

knowledge_compilation_classes (631B)

      1 # Knowledge compilation classes
      2 
      3 - [decomposable] [dnnf]
      4 - [sdnnf], with [structuredness]
      5 - [ddnnf], with [deterministic]
      6   - exponentially separated from [dnnf]
      7     - [sauerhoff_function]
      8   - [ordered_dnnf], in [amarilli2017circuit]
      9 - [smoothing]
     10 - [sdd]
     11   - exponentially separated from [obdd]
     12     - [hidden_weighted_bit_function]
     13 - [decision_dnnf]
     14   - [decision_sdnnf]
     15   - [ordered_decision_circuit]
     16 - [diagram]
     17   - [obdd]
     18   - [nobdd]
     19   - [uobdd]
     20   - [fbdd]
     21   - [zero_suppressed_semantics]
     22 
     23 Up: [knowledge_compilation], [circuit]
     24 
     25 See also: [circuit_classes], [circuit_condition]
     26 
     27 Aliases: knowledge compilation circuit classes