Knowledge Compilation: A Symposium.
Ashok K. GoelTom BylanderB. ChandrasekaranThomas G. DietterichRichard M. KellerChris TongPublished in: IEEE Expert (1991)
Keyphrases
- knowledge compilation
- product configuration
- prime implicates
- artificial intelligence
- model counting
- logical inference
- normal form
- quantified boolean formulae
- binary decision diagrams
- polynomial size
- decision making
- case study
- horn formulas
- constraint satisfaction
- process planning
- decomposable negation normal form
- databases
- database systems
- information retrieval