Keyphrases
- quantified boolean formulae
- knowledge compilation
- prime implicates
- prime implicants
- product configuration
- propositional logic
- normal form
- modal logic
- belief change
- model counting
- symmetry breaking
- desirable properties
- polynomial size
- abductive reasoning
- databases
- global constraints
- integrity constraints
- first order logic
- knowledge acquisition
- binary decision diagrams
- np hard
- data model
- quantified boolean formulas
- relational databases