wiki_research

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

decdnnf_negation (141B)

      1 # DecDNNF negation
      2 
      3 open whether [decDNNFs] can be negated to a [decDNNF]
      4 - cf [decolnet2022hard] p124
      5 
      6 Up: [negation_problem] of [dec_DNNF]