wiki_research

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

knowledge_compilation_query (210B)

      1 # Knowledge compilation query
      2 
      3 - [satisfiability]
      4 - [sharp_satisfiability]
      5 - [max_sat]
      6 - expressive [queries] like [weighted_maximum_model_counting]: [bannach2025weighted]
      7 
      8 Up: [knowledge_compilation], [query]