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

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

Public reference bibliography and cataloged PDF materials authored or published by Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Daniel Le Berre, Pierre Marquis.

Found 1 document(s) Page 1 of 1

Representing Policies for Quantified Boolean Formulae

Year: 2006 • Source: hal.science • Listed PDF

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. ...