Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation.
Alexis de ColnetStefan MengelPublished in: CoRR (2021)
Keyphrases
- knowledge compilation
- lower bound
- product configuration
- upper bound
- prime implicates
- branch and bound
- branch and bound algorithm
- objective function
- model counting
- logical inference
- np hard
- quantified boolean formulae
- normal form
- optimal solution
- decision support
- horn formulas
- vc dimension
- upper and lower bounds
- process planning
- polynomial size
- worst case
- target language
- information retrieval
- decision support system
- computer aided
- constraint satisfaction