wiki_research

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

satisfiability_weighted_knowledge_compilation (372B)

      1 # Satisfiability weighted knowledge compilation
      2 
      3 For which [knowledge_compilation_circuit_classes] is [satisfiability_weighted] tractable?
      4 
      5 Should be tractable for [OBDDs]: [satisfiability_weighted_obdds]
      6 
      7 - [satisfiability_weighted_dnnf]
      8 - [satisfiability_weighted_ddnnf]
      9 - [satisfiability_weighted_ddnnf_negation]
     10 
     11 Up: [satisfiability_weighted], [knowledge_compilation]