Representing Policies for Quantified Boolean Formulae.

Sylvie Coste-Marquis, Hlne Fargier, Jrme Lang, Daniel Le Berre, Pierre Marquis

Browse the full KR paper archive.