wiki_research

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

dsdnnf (318B)

      1 # d-SDNNF
      2 
      3 [structured_circuit] [deterministic] [decomposable] [circuit]
      4 
      5 not closed under [complementation], cf [vinallsmeeth2024structured] by [harry]
      6 
      7 - [dSDNNF_lower_bounds]
      8 
      9 Restriction: [TDDs], cf [capelli2026canonical]
     10 
     11 Up: [knowledge_compilation_classes], [ddnnf], [sdnnf]
     12 
     13 Aliases: dSDNNFs, d_SDNNFs, d_SDNNF