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 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.