QCSP non bloquants : un cas spécial de problèmes quantifiés - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

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

Abstract

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.
Fichier principal
Vignette du fichier
hal-01009587.pdf (4.02 Mo) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01009587 , version 1 (25-06-2014)

Identifiers

  • HAL Id : hal-01009587 , version 1

Cite

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

Share

Gmail Mastodon Facebook X LinkedIn More