Representing Policies for Quantified Boolean Formulas

The practical use of Quantified Boolean Formulae (QBFs) often calls for more than solving the validity problem QBF. For this reason we investigate the corresponding function problems whose expected outputs are policies. QBFs which do not evaluate to true do not have any solution policy, but can be of interest nevertheless; for handling them, we introduce a notion of partial policy.

Authors

• Sylvie Coste-Marquis Caroline Devred
• Helene Fargier
• Jerome Lang
• Daniel Le Berre
• Pierre Marquis Univ. Artois, CNRS, CRIL, Lens, France Institut Universitaire de France

Keywords

No keywords are indexed for this paper.