Knowledge Compilation Meets Communication Complexity.
Simone BovaFlorent CapelliStefan MengelFriedrich SlivovskyPublished in: IJCAI (2016)
Keyphrases
- knowledge compilation
- product configuration
- polynomial size
- logical inference
- prime implicates
- model counting
- constraint satisfaction problems
- constraint satisfaction
- computational complexity
- natural language
- worst case
- quantified boolean formulae
- horn formulas
- database
- target language
- knowledge based systems
- knowledge acquisition
- artificial intelligence
- information retrieval