wiki_research

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

dsdnnf (266B)

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