Counterexample Guided Knowledge Compilation for Boolean Functional Synthesis.
S. AkshaySupratik ChakrabortySahil JainPublished in: CAV (1) (2023)
Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- model counting
- quantified boolean formulae
- boolean functions
- normal form
- binary decision diagrams
- polynomial size
- logical inference
- horn formulas
- model checking
- machine learning
- decomposable negation normal form
- propositional logic
- constraint satisfaction problems
- decision support
- search space
- search algorithm