On the Use of Partially Ordered Decision Graphs in Knowledge Compilation and Quantified Boolean Formulae.
Hélène FargierPierre MarquisPublished in: AAAI (2006)
Keyphrases
- quantified boolean formulae
- partially ordered
- knowledge compilation
- propositional logic
- partial order
- prime implicates
- symmetry breaking
- decision makers
- quantified boolean formulas
- normal form
- belief revision
- prime implicants
- global constraints
- binary decision diagrams
- combinatorial problems
- target language
- decision problems
- davis putnam
- multi dimensional