Representing Policies for Quantified Boolean Formulae.

Sylvie Coste-Marquis Hélène Fargier Jérôme Lang Daniel Le Berre Pierre Marquis

Published in: KR (2006)

Keyphrases

quantified boolean formulae
propositional logic
knowledge compilation
symmetry breaking
expert systems
optimal policy
prime implicates
evolutionary algorithm
quantified boolean formulas