wiki_research

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

satisfiability_weighted_ddnnf_negation (418B)

      1 # Satisfiability weighted ddnnf negation
      2 
      3 The [computational_problem] of deciding whether a [dDNNF] has a [falsifying_assigment] of a given weight?
      4 
      5 Already challenging for [orthogonal_DNF], cf [satisfiability_weighted_orthogonal_DNF_negation]
      6 
      7 But tractable when weights are written in [unary]
      8 
      9 Related to [ddnnf_complementation]
     10 
     11 Up: [satisfiability_weighted_knowledge_compilation], [ddnnf], [ddnnf_complementation]