Knowledge Compilation Meets Logical Separability.
Junming QiuWenqing LiZhanhao XiaoQuanlong GuanLiangda FangZhao-Rong LaiQian DongPublished in: AAAI (2022)
Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- model counting
- quantified boolean formulae
- normal form
- logical inference
- decomposable negation normal form
- computational complexity
- relational databases
- constraint satisfaction
- polynomial size
- cnf formula
- horn formulas
- machine learning
- probabilistic logic
- target language
- artificial intelligence