Compact normal forms in propositional logic and integer programming formulations.
John M. WilsonPublished in: Comput. Oper. Res. (1990)
Keyphrases
- propositional logic
- normal form
- prime implicates
- integer programming formulations
- integer programming
- quantified boolean formulae
- database design
- belief revision
- propositional formulas
- first order logic
- relational algebra
- functional dependencies
- relational databases
- nested relations
- linear program
- lattice theory
- data dependencies
- lower bound
- belief change
- multi valued
- knowledge compilation
- loss function
- expressive power
- np hard
- integrity constraints