knowledge_compilation (559B)
1 # Knowledge compilation 2 3 Classes of [circuits] for which some tasks are tractable 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 - [knowledge_compilation_open_problems] 15 16 Up: [theoretical_computer_science] 17 18 Aliases: KC 19 20 See also: [provenance_circuit]