Knowledge Compilation for Boolean Functional Synthesis.
S. AkshayJatin AroraSupratik ChakrabortyShankara Narayanan KrishnaDivya RaghunathanShetal ShahPublished in: CoRR (2019)
Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- boolean functions
- quantified boolean formulae
- model counting
- logical inference
- horn formulas
- polynomial size
- decision support
- normal form
- decomposable negation normal form
- binary decision diagrams
- target language
- knowledge based systems
- artificial intelligence
- phase transition
- search algorithm