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

 

Arnaud Lallouet et Jérémie Vautard
Université d’Orléans — LIFO
BP 6759 — F-45067 Orléans cedex 2
Cette adresse e-mail est protégée contre les robots spammeurs. Vous devez activer le JavaScript pour la visualiser.


Résumé:

Ce papier présente un cas spécial de QCSP+appelé QCSP nonbloquants, dans lesquels la 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. +

 

Télécharger l'aricle