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
Toumani, Farouk. Colloque sur l'Optimisation et les Systèmes d'Information, Apr 2010, Ouargla, Algérie. pp.446 - 456, 2010
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, January 17, 2019 - 3:06:06 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

132

Files downloads

35