Knowledge compilation from DNF to switch-list representations.
Ondrej CepekRadek HusekPublished in: ISAIM (2016)
Keyphrases
- knowledge compilation
- product configuration
- polynomial size
- prime implicates
- learning theory
- boolean functions
- model counting
- learning algorithm
- normal form
- logical inference
- quantified boolean formulae
- uniform distribution
- database systems
- binary decision diagrams
- decomposable negation normal form
- databases
- cnf formula
- belief revision
- decision support
- data mining