wiki_research

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

knowledge_compilation (424B)

      1 # Knowledge compilation
      2 
      3 Classes of [circuit] ensuring tractability
      4 
      5 - [knowledge_compilation_classes]
      6 - connections to [arithmetic_circuits]
      7 - [query_compilation]: knowledge compilation on the [provenance] of a query
      8 - [constraint_satisfaction_problem_knowledge_compilation]
      9 - [knowledge_compilation_query]: the type of questions asked on circuits
     10 
     11 [circuit_bounds_vs_complexity_bounds]
     12 
     13 Up: [theoretical_computer_science]