Skip to Main content Skip to Navigation
New interface
Conference papers

Representing Policies for Quantified Boolean Formulae

Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00121155
Contributor : Francois Chevallier Connect in order to contact the contributor
Submitted on : Tuesday, December 19, 2006 - 3:36:02 PM
Last modification on : Monday, July 4, 2022 - 9:04:17 AM

Identifiers

  • HAL Id : hal-00121155, version 1

Citation

Sylvie Coste-Marquis, Hélène Fargier, Jérôme Lang, Pierre Marquis, Daniel Le Berre. Representing Policies for Quantified Boolean Formulae. AAAI, Jun 2006, Boston, United States. pp.286-296. ⟨hal-00121155⟩

Share

Metrics

Record views

49