wiki_research

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

knowledge_compilation_query (954B)

      1 # Knowledge compilation query
      2 
      3 - [satisfiability]: does there exist a [satisfying_assignment]
      4 - [falsifiability]: does there exist a [falsifying_assignment]
      5   - or is the formula a [tautology]
      6 - [sharp_satisfiability]: count the number of [satisfying_assignments]
      7 
      8 - [weighted_satisfiability]
      9 - [weighted_model_counting]
     10 
     11 - [enumerating_satisfying_assignments]
     12 
     13 - [uniform_sampling] of [satisfying_assignment]
     14 
     15 - [most_probable_explanation], connection to [smallest_witness]
     16   - and likewise for the negation, connection to [query_resilience]
     17 
     18 - find an [implicant]
     19 - [shortest_implicant]
     20 
     21 - [clause_entailment], see if a clause is entailed
     22 
     23 - [maj_sat], [gt_maj_sat]
     24 
     25 - [max_sat]
     26 
     27 - test [circuit_equivalence]
     28 - test [circuit_implication] aka "sentential entailment"
     29 
     30 - expressive [queries] like [weighted_maximum_model_counting]: [bannach2025weighted]
     31 
     32 Up: [knowledge_compilation], [query]
     33 
     34 Aliases: knowledge_compilation_queries, KC query, KC queries