Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation.
Alexis de ColnetStefan MengelPublished in: AAAI (2022)
Keyphrases
- knowledge compilation
- lower bound
- product configuration
- upper bound
- branch and bound algorithm
- prime implicates
- branch and bound
- quantified boolean formulae
- normal form
- worst case
- optimal solution
- logical inference
- decision support
- objective function
- upper and lower bounds
- model counting
- horn formulas
- vc dimension
- np hard
- relational databases
- constraint satisfaction
- knowledge based systems
- data model
- global constraints
- np complete
- target language
- knowledge representation
- polynomial size
- database systems
- machine learning