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 quantifi´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 quantificateurs 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 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.