QCSP non bloquants : un cas spécial de problèmes quantifiés

Arnaud Lallouet 1 Jérémie Vautard 2
1 Equipe CODAG - Laboratoire GREYC - UMR6072
GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen
Résumé : Ce papier présente un cas spécial de QCSP+appelé QCSP+non bloquants, dans lesquels les restrictions posées sur les quantificateurs ne vident jamais le domaine d'une variable. Intuitivement, ces cas spéciaux correspondent à des jeux opposant deux adversaires dans lesquels il n'est pas possible de bloquer toute possibilité de mouvement d'un joueur. Nous présentons des techniques de résolution basées sur ce cas spécial, ainsi que des exemples de modèles non-bloquants.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01009587
Contributor : Greyc Référent <>
Submitted on : Wednesday, June 25, 2014 - 12:03:43 PM
Last modification on : Thursday, February 7, 2019 - 4:17:19 PM
Document(s) archivé(s) le : Thursday, September 25, 2014 - 10:36:48 AM

File

hal-01009587.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01009587, version 1

Citation

Arnaud Lallouet, Jérémie Vautard. QCSP non bloquants : un cas spécial de problèmes quantifiés. Toumani, Farouk. Colloque sur l'Optimisation et les Systèmes d'Information, Apr 2010, Ouargla, Algérie. pp.446 - 456, 2010. 〈hal-01009587〉

Share

Metrics

Record views

134

Files downloads

36