QCSP + non-bloquants : un cas sp´ecial de probl`emes quantiﬁ´es

Please use this identifier to cite or link to this item: https://dspace.univ-ouargla.dz/jspui/handle/123456789/11901

Title:	QCSP + non-bloquants : un cas sp´ecial de probl`emes quantiﬁ´es
Authors:	Arnaud, Lallouet Jeremie, Vautard
Keywords:	appele QCSP non-bloquants
Issue Date:	3-Nov-2016
Abstract:	Ce papier presente un cas special de QCSP+ appele QCSP nonbloquants, dans lesquels la les restrictions posees sur les quantiﬁcateurs ne vident jamais le domaine d’une variable. Intuitivement, ces cas speciaux correspondent `a des jeux opposant deux adversaires dans lesquels il n’est pas possible de bloquer toute possibilite de mouvement d’un joueur. Nous presentons des techniques de resolution basees sur ce cas special, ainsi que des exemples de modeles non-bloquants. +
URI:	http://dspace.univ-ouargla.dz/jspui/handle/123456789/11901
Appears in Collections:	1. Faculté des mathématiques et des sciences de la matière

Files in This Item:

File	Description	Size	Format
QCSP nonbloquants un cas sp´ecial de probléme quantifié.pdf		548,03 kB	Adobe PDF	View/Open

DSpace JSPUI