knowledge_compilation (459B)
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 - [knowledge_compilation_automata] 11 12 [circuit_bounds_vs_complexity_bounds] 13 14 Up: [theoretical_computer_science]